Tony Finch's link log
2007-03-26: How Emily tamed the Caml - Emily is a subset of OCaml that uses a design rule verifier to enforce object-capability principles.
(long)
(short)
(atom)
(wayback machine)