Sciweavers

Share
POPL
2003
ACM

A type theory for memory allocation and data layout

12 years 7 months ago
A type theory for memory allocation and data layout
Leaf Petersen, Robert Harper, Karl Crary, Frank Pf
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2003
Where POPL
Authors Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
Comments (0)
books