Iavor S. Diatchki Mark P. Jones Strongly typed memory areas programming systems-level data structures in a functional language. 72-83 2006 conf/haskell/2006 Haskell http://doi.acm.org/10.1145/1159842.1159851 db/conf/haskell/haskell2006.html#DiatchkiJ06