sir12321/Interpreters-and-Type-Inference

OCaml interpreters (Krivine & SECD abstract machines) and a set-based type inference engine for a Lisp dialect

语言：OCaml · GitHub 星标：1 · Fork：0

话题：abstract-machine · beta-reduction · formal-languages · functional-programming · interpreter · krivine-machine · lambda-calculi · lambda-calculus

在 GitHub 上查看原仓库