The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karl Crary: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Karl Crary
    Admissibility of Fixpoint Induction over Partial Types. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:270-285 [Conf]
  2. Karl Crary, Susmit Sarkar
    Foundational Certified Code in a Metalogical Framework. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:106-120 [Conf]
  3. Tom Murphy VII, Karl Crary, Robert Harper
    Distributed Control Flow with Classical Modal Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:51-69 [Conf]
  4. Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning
    Trustless Grid Computing in ConCert. [Citation Graph (0, 0)][DBLP]
    GRID, 2002, pp:112-125 [Conf]
  5. Karl Crary, J. Gregory Morrisett
    Type Structure for Low-Level Programming Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:40-54 [Conf]
  6. Karl Crary, Stephanie Weirich
    Flexible Type Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:233-248 [Conf]
  7. Karl Crary, Joseph Vanderwaart
    An expressive, scalable type theory for certified code. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:191-205 [Conf]
  8. Karl Crary, Stephanie Weirich, J. Gregory Morrisett
    Intensional Polymorphism in Type-Erasure Semantics. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:301-312 [Conf]
  9. Karl Crary
    Typed compilation of inclusive subtyping. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:68-81 [Conf]
  10. Karl Crary
    Foundations for the Implementation of Higher-Order Subtyping. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:125-135 [Conf]
  11. Karl Crary
    A Simple Proof Technique for Certain Parametricity Results. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:82-89 [Conf]
  12. Susmit Sarkar, Brigitte Pientka, Karl Crary
    Small Proof Witnesses for LF. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:387-401 [Conf]
  13. Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning
    A Symmetric Modal Lambda Calculus for Distributed Computing. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:286-295 [Conf]
  14. Karl Crary, Robert Harper, Sidd Puri
    What is a Recursive Module? [Citation Graph (0, 0)][DBLP]
    PLDI, 1999, pp:50-63 [Conf]
  15. Karl Crary
    Toward a foundational typed assembly language. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:198-212 [Conf]
  16. Karl Crary, Stephanie Weirich
    Resource Bound Certification. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:184-198 [Conf]
  17. Karl Crary, David Walker, J. Gregory Morrisett
    Typed Memory Management in a Calculus of Capabilities. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:262-275 [Conf]
  18. Derek Dreyer, Karl Crary, Robert Harper
    A type system for higher-order modules. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:236-249 [Conf]
  19. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
    From System F to Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:85-97 [Conf]
  20. Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
    A type theory for memory allocation and data layout. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:172-184 [Conf]
  21. Daniel K. Lee, Karl Crary, Robert Harper
    Towards a mechanized metatheory of standard ML. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:173-184 [Conf]
  22. Karl Crary
    Programming language semantics in foundational type theory. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:107-125 [Conf]
  23. Karl Crary
    Sound and Complete Elimination of Singleton Kinds. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:1-26 [Conf]
  24. Michael W. Hicks, Stephanie Weirich, Karl Crary
    Safe and Flexible Dynamic Linking of Native Code. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 2000, pp:147-176 [Conf]
  25. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-Based Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:28-52 [Conf]
  26. Joseph Vanderwaart, Karl Crary
    A typed interface for garbage collection. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:109-122 [Conf]
  27. Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
    Typed compilation of recursive datatypes. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:98-108 [Conf]
  28. Joseph Vanderwaart, Karl Crary
    A typed interface for garbage collection. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:109-122 [Conf]
  29. Joseph Vanderwaart, Karl Crary
    Automated and certified conformance to responsiveness policies. [Citation Graph (0, 0)][DBLP]
    TLDI, 2005, pp:79-90 [Conf]
  30. Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng
    Typed compilation of recursive datatypes. [Citation Graph (0, 0)][DBLP]
    TLDI, 2003, pp:98-108 [Conf]
  31. Joseph Vanderwaart, Karl Crary
    A Simplified Account of the Metatheory of Linear LF. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  32. Karl Crary, Robert Harper
    Syntactic Logical Relations for Polymorphic and Recursive Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:259-299 [Journal]
  33. Karl Crary, Aleksey Kliger, Frank Pfenning
    A monadic analysis of information flow security with mutable state. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:2, pp:249-291 [Journal]
  34. Karl Crary, Stephanie Weirich, J. Gregory Morrisett
    Intensional polymorphism in type-erasure semantics. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:6, pp:567-600 [Journal]
  35. Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, Gary L. Miller, Noel Walkington
    Persistent triangulations Journal of Functional Programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2001, v:11, n:5, pp:441-466 [Journal]
  36. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:1, pp:3-88 [Journal]
  37. J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker
    Stack-based typed assembly language. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:5, pp:957-959 [Journal]
  38. Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning
    Automated techniques for provably safe mobile code. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:2, pp:1175-1199 [Journal]
  39. J. Gregory Morrisett, David Walker, Karl Crary, Neal Glew
    From system F to typed assembly language. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:3, pp:527-568 [Journal]
  40. David Walker, Karl Crary, J. Gregory Morrisett
    Typed memory management via static capabilities. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:4, pp:701-771 [Journal]
  41. David Swasey, Tom Murphy VII, Karl Crary, Robert Harper
    A separate compilation extension to standard ML. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:32-42 [Conf]
  42. Karl Crary, Robert Harper
    Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  43. Karl Crary
    Sound and complete elimination of singleton kinds. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal]

  44. Type-Safe Distributed Programming with ML5. [Citation Graph (, )][DBLP]


  45. Explicit Contexts in LF (Extended Abstract). [Citation Graph (, )][DBLP]


Search in 0.511secs, Finished in 0.512secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002