Lambda the Ultimate

type	title	author	last post
Story	OCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language due to Scott Owens by Peter Sewell	Paul Snively	2007-11-28 18:52

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation