sergei-romanenko/unmix
A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser. Imported from Google Code.
Developer Profile
sergei-romanenko
Discovered public repositories for sergei-romanenko in the GitHub catalog.
sergei-romanenko/cilpe
Automatically exported from code.google.com/p/cilpe
sergei-romanenko/agda-normalization
Normalization by evaluation and big-step normalization formalized in Agda
sergei-romanenko/agda-Higman-lemma
Constructive proofs of Higman’s lemma formalized in Agda
sergei-romanenko/agda-almost-full
Almost-full relations: an Agda version for "Stop when you are almost-full"
sergei-romanenko/agda-Ramsey-theorem
Intuitionistic Ramsey theorem (a proof in Agda)
sergei-romanenko/sat4j-experiments
Experiments with Sat4j.
sergei-romanenko/staged-mrsc-agda
Staged multi-result supercompilation (a model in Agda)
sergei-romanenko/markdown-test
A markdown test.
sergei-romanenko/agda-samples
A collection of samples in Agda
sergei-romanenko/agda-hsubst-revised
Hereditary substitutions for simple types (revised)
sergei-romanenko/agda-simple-scp
A simple supercompiler formally verified in Agda
sergei-romanenko/agda-miscellanea
Experiments with Agda
sergei-romanenko/mrsct
A variation of mrsc based on traits + self-types
sergei-romanenko/mrsc-trs
Domain-specific supercompilation for transition systems (based on the MRSC toolkit).