Sciweavers

10575 search results - page 142 / 2115
» Programming Languages
Sort
View
POPL
2003
ACM
15 years 10 months ago
A type theory for memory allocation and data layout
Leaf Petersen, Robert Harper, Karl Crary, Frank Pf...
POPL
2002
ACM
15 years 10 months ago
Stack inspection: theory and variants
Cédric Fournet, Andrew D. Gordon
POPL
2002
ACM
15 years 10 months ago
Lazy abstraction
Grégoire Sutre, Ranjit Jhala, Rupak Majumda...