Writing systems software in a functional language: an experience report.

Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach

Browse the full SOSP paper archive.