[ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
(1996)
[SIGPLAN]
SIGPLAN Notices
Birkedal, Lars ; Mads Tofte and Magnus Vejlstrup. (1996)
Birkedal, Lars ; Mads Tofte and Magnus Vejlstrup. From Region Inference to von Neumann Machines via Region Representation Inference.
Minamide, Yasuhiko; Morrisett, Greg and Robert Har (1996)
Minamide, Yasuhiko; Morrisett, Greg and Robert Harper "Typed Closure Conversion"