gfnweb
Invited Talk: Creating Programming Languages of Real-World Use on a Personal Scale
Sesterl: An ML-like Statically-Typed Erlang