dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Karl Crary (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 12(1): 3-88 (2002)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6): 567-600 (2002)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Walker, Karl Crary, J. Gregory Morrisett: Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22(4): 701-771 (2000)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl Crary, J. Gregory Morrisett: Type Structure for Low-Level Programming Languages. ICALP 1999: 40-54
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl Crary, David Walker, J. Gregory Morrisett: Typed Memory Management in a Calculus of Capabilities. POPL 1999: 262-275
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From system F to typed assembly language. ACM Trans. Program. Lang. Syst. 21(3): 527-568 (1999)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional Polymorphism in Type-Erasure Semantics. ICFP 1998: 301-312
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. POPL 1998: 85-97
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52

Selection of 10 from 48 records - Karl Crary has 28 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page