PreScheme

PreScheme or Pre-Scheme is a statically-typed dialect of Scheme with the efficiency and low-level machine access of C while retaining many of the desirable features of Scheme.

Macro-Free PreScheme

Macro-Free PreScheme is obtained from Full PreScheme by expanding all macros.

Pure PreScheme

Pure PreScheme is a tail-recursive, closure-free dialect of PreScheme, obtained from Macro-Free PreScheme by hoisting lambda expressions and beta expansion.

VLISP PreScheme

imple PreScheme

References

* [http://citeseer.ist.psu.edu/oliva91verified.html A Verified Compiler for Pure PreScheme (1991)]
* [http://citeseer.ist.psu.edu/guttman92guide.html A Guide to VLISP, A Verified Programming Language Implementation (1992)]
* [http://citeseer.ist.psu.edu/680663.html A Verified Run-Time Structure for Pure PreScheme (1992)]
* [http://citeseer.ist.psu.edu/ramsdell92vlisp.html The VLISP PreScheme Front End (1992)]
* [http://citeseer.ist.psu.edu/656749.html The Revised VLISP PreScheme Front End (1993)]
* [http://citeseer.ist.psu.edu/kelsey93tractable.html A Tractable Scheme Implementation (1993)]
* [http://citeseer.ist.psu.edu/kelsey93tailrecursive.html Tail-Recursive Stack Disciplines for an Interpreter (1993)]
* [http://citeseer.ist.psu.edu/guttman95vlisp.html The VLISP Verified Scheme System (1995)]
* [http://citeseer.ist.psu.edu/649180.html A Verified Compiler for Multithreaded PreScheme (1996)]
* [http://citeseer.ist.psu.edu/196055.html Pre-Scheme: A Scheme Dialect for Systems Programming (1997)]