All Categories → No Category → secd

Top 3 secd open source projects

Krivine-Machine

Abstract krivine machine implementing call-by-name semantics. In OCaml.

✭ 34

ocaml lambda-calculus secd abstract-machine krivine-machine

Scheme on SECD

✭ 38

FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7

✭ 33

c common lisp Makefile shell Roff compiler lisp-interpreter secd lisp-compiler lispkit

1-3 of 3 secd projects