18 Sep
2008
18 Sep
'08
9:25 a.m.
Was Iavor/Mark's paper ever implemented as a GHC extension? "Strongly Typed Memory Areas" http://galois.com/down/2006_ID_Strongly.pdf -- /jve