- Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml http://lambda-the-ultimate.org/node/2892 2 comments programming
Lambda the Ultimate
- Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml http://www.univ-orleans.fr/lifo/Members/David.Teller/publications/ml2008.pdf 12 comments Functional , Implementation , Software Engineering