Searching for authors named "Leaf Petersen" – sorted by Relevance.
-
General Terms Languages, Theory
- A Type Theory for Memory Allocation and Data Layout * Leaf Petersen Robert Harper Karl Crary
- Add To MetaCart
-
A Type Theory for Memory Allocation and Data Layout (Extended Version)
- A Type Theory for Memory Allocation and Data Layout (Extended Version) Leaf Petersen Robert Harper
- Cited by 22 (3 self) – Add To MetaCart
-
A Module System for LOOM
- A Module System for LOOM by Leaf Eames Petersen A Thesis Submitted in partial fulfillment
- Cited by 1 (0 self) – Add To MetaCart
-
Implementing the TILT internal language
- Implementing the TILT Internal Language Leaf Petersen, Perry Cheng, Robert Harper, and Chris Stone
- Cited by 21 (11 self) – Add To MetaCart
-
Subtyping is not a good "Match" for object-oriented languages
- Subtyping is not a good "Match" for object-oriented languages ? Kim B. Bruce 1 , Leaf Petersen
- Cited by 30 (9 self) – Add To MetaCart
-
Subtyping is not a good "match" for object-oriented languages
- Subtyping is not a good \Match" for object-oriented languages ? Kim B. Bruce 1 ,LeafPetersen 1
- Cited by 34 (3 self) – Add To MetaCart
-
A Type Theory for Memory Allocation and Data Layout
- A Type Theory for Memory Allocation and Data Layout # Leaf Petersen Robert Harper Karl Crary
- Add To MetaCart
-
Transparent and Opaque Interpretations of Datatypes
- Transparent and Opaque Interpretations of Datatypes Karl Crary Robert Harper Perry Cheng Leaf
- Cited by 3 (3 self) – Add To MetaCart
-
Modules in LOOM: Classes are not enough
- Modules in LOOM: Classes are not enough y Kim B. Bruce, Leaf Petersen z , and Joseph Vanderwaart
- Cited by 1 (0 self) – Add To MetaCart
-
Certifying Compilation for Standard ML in a Type Analysis Framework
- Certifying Compilation for Standard ML in a Type Analysis Framework. Leaf Eames Petersen May, 2005
- Cited by 10 (0 self) – Add To MetaCart

