|start | find | index | login or register | edit|
by earl, 4250 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."
3 active users
|earl.strain.at • esa3 • online for 6800 days • c'est un vanilla site|