%O BookSection %F hmn2005 %A Henglein, Fritz %A Makholm, Henning %A Niss, Henning %T Effect type systems and region-based memory management %B Advanced Topics in Types and Programming Languages %E Pierce, Benjamin %I MIT Press %U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein2005.pdf %D 2005 %K dyntyp