Searching for authors named "Leaf Petersen" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
