John Van Enk wrote:

Was Iavor/Mark's paper ever implemented as a GHC extension? "Strongly Typed Memory Areas"

It turns out most of the functionality is already available in Haskell: Lightweight static resources, for safe embedded and systems programming http://okmij.org/ftp/Haskell/types.html#ls-resources Chung-chieh Shan's TFP2007 talk specifically contrasted code from Iavor/Mark's paper with Haskell code. Strongly typed memory areas are possible in Haskell today.