All Categories → No Category → krivine-machine

Top 2 krivine-machine open source projects

Krivine-Machine

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

✭ 34

ocaml lambda-calculus secd abstract-machine krivine-machine

A minimalist pure lazy functional programming language

✭ 65

c Vim Script shell assembly functional functional-programming lambda-calculus minimalist lazy-evaluation krivine-machine

1-2 of 2 krivine-machine projects