Strongly typed memory areas programming systems-level data structures in a functional language.

Iavor S. Diatchki, Mark P. Jones

Browse the full HASKELL paper archive.