start | find | index | login or register | edit | ||
OCaml light
by earl, 6123 days ago
"[create OCaml] light is a formal semantics for a substantial subset of the Objective Caml language. It is written in Ott, and it comprises a small-step operational semantics and a syntactic, non-algorithmic type system."- http://www.cl.cam.ac.uk/~so294/ocaml/ |
search 3 active users
backlinks (more) none, yet recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8673 days • c'est un vanilla site |