Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Karl Crary
2010 – today
- 2010
[c32]- [e1]Karl Crary, Marino Miculan (Eds.): Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. EPTCS 34, 2010
2000 – 2009
- 2009
- [j14]Karl Crary: Explicit Contexts in LF (Extended Abstract). Electr. Notes Theor. Comput. Sci. 228: 53-68 (2009)
- [c31]
- 2008
- [j13]Karl Crary, Susmit Sarkar: Foundational certified code in the Twelf metalogical framework. ACM Trans. Comput. Log. 9(3) (2008)
- 2007
- [j12]Karl Crary, Robert Harper: Syntactic Logical Relations for Polymorphic and Recursive Types. Electr. Notes Theor. Comput. Sci. 172: 259-299 (2007)
- [j11]
- [c30]Daniel K. Lee, Karl Crary, Robert Harper: Towards a mechanized metatheory of standard ML. POPL 2007: 173-184
- [c29]Tom Murphy VII, Karl Crary, Robert Harper: Type-Safe Distributed Programming with ML5. TGC 2007: 108-123
- 2006
- [j10]Karl Crary, Robert Harper: Higher-order abstract syntax: setting the record straight. SIGACT News 37(3): 93-96 (2006)
- [c28]David Swasey, Tom Murphy VII, Karl Crary, Robert Harper: A separate compilation extension to standard ML. ML 2006: 32-42
- [i1]Karl Crary, Robert Harper: Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight. CoRR abs/cs/0607141 (2006)
- 2005
- [j9]Karl Crary, Aleksey Kliger, Frank Pfenning: A monadic analysis of information flow security with mutable state. J. Funct. Program. 15(2): 249-291 (2005)
- [c27]Tom Murphy VII, Karl Crary, Robert Harper: Distributed Control Flow with Classical Modal Logic. CSL 2005: 51-69
- [c26]
- [c25]Joseph Vanderwaart, Karl Crary: Automated and certified conformance to responsiveness policies. TLDI 2005: 79-90
- 2004
- [c24]Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning: A Symmetric Modal Lambda Calculus for Distributed Computing. LICS 2004: 286-295
- 2003
- [j8]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 13(5): 957-959 (2003)
- [j7]Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning: Automated techniques for provably safe mobile code. Theor. Comput. Sci. 290(2): 1175-1199 (2003)
- [c23]Karl Crary, Susmit Sarkar: Foundational Certified Code in a Metalogical Framework. CADE 2003: 106-120
- [c22]Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning: A type theory for memory allocation and data layout. POPL 2003: 172-184
- [c21]
- [c20]
- [c19]Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng: Typed compilation of recursive datatypes. TLDI 2003: 98-108
- [c18]
- 2002
- [j6]Joseph Vanderwaart, Karl Crary: A Simplified Account of the Metatheory of Linear LF. Electr. Notes Theor. Comput. Sci. 70(2): 11-28 (2002)
- [j5]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-based typed assembly language. J. Funct. Program. 12(1): 3-88 (2002)
- [j4]Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional polymorphism in type-erasure semantics. J. Funct. Program. 12(6): 567-600 (2002)
- [c17]Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning: Trustless Grid Computing in ConCert. GRID 2002: 112-125
- [c16]Karl Crary, Joseph Vanderwaart: An expressive, scalable type theory for certified code. ICFP 2002: 191-205
- 2001
- [j3]Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, Gary L. Miller, Noel Walkington: Persistent triangulations Journal of Functional Programming. J. Funct. Program. 11(5): 441-466 (2001)
- 2000
- [j2]David Walker, Karl Crary, J. Gregory Morrisett: Typed memory management via static capabilities. ACM Trans. Program. Lang. Syst. 22(4): 701-771 (2000)
- [c15]
- [c14]
- [c13]
- [c12]Michael W. Hicks, Stephanie Weirich, Karl Crary: Safe and Flexible Dynamic Linking of Native Code. Types in Compilation 2000: 147-176
1990 – 1999
- 1999
- [j1]J. 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)
- [c11]Karl Crary, J. Gregory Morrisett: Type Structure for Low-Level Programming Languages. ICALP 1999: 40-54
- [c10]
- [c9]
- [c8]
- [c7]Karl Crary, David Walker, J. Gregory Morrisett: Typed Memory Management in a Calculus of Capabilities. POPL 1999: 262-275
- 1998
- [c6]
- [c5]Karl Crary, Stephanie Weirich, J. Gregory Morrisett: Intensional Polymorphism in Type-Erasure Semantics. ICFP 1998: 301-312
- [c4]J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew: From System F to Typed Assembly Language. POPL 1998: 85-97
- [c3]
- [c2]J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker: Stack-Based Typed Assembly Language. Types in Compilation 1998: 28-52
- 1997
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team