OCaml light
by earl, 6112 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
41 active users
- unknown (41)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
