Hacker News
- A Visual Introduction to Abstract Geometrical Computation http://www.univ-orleans.fr/lifo/Members/Jerome.Durand-Lose/Recherche/AGC/intro_AGC.html 4 comments
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