Safe manual memory management in Haskell

root

safe-linear

Accompanies paper here.