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)