An optimizing compiler for a purely functional web-application language
How to make ad-hoc polymorphism less ad hoc