Link Details: |
A partial evaluator for a pure (side effect free) subset of Scheme, written primarily by Charles Consel. Some of its main features are polyvariant binding-time analysis, treatment of higher-order functions and partially static data structures, colored bi |