Folgen
Karl Crary
Karl Crary
Bestätigte E-Mail-Adresse bei cs.cmu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
From System F to typed assembly language
G Morrisett, D Walker, K Crary, N Glew
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (3), 527-568, 1999
11731999
TALx86: A realistic typed assembly language
K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ...
1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999
3211999
Typed memory management in a calculus of capabilities
K Crary, D Walker, G Morrisett
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
3151999
Resource bound certification
K Crary, S Weirich
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
2932000
What is a recursive module?
K Crary, R Harper, S Puri
Proceedings of the ACM SIGPLAN 1999 conference on Programming language …, 1999
1821999
Towards a mechanized metatheory of Standard ML
DK Lee, K Crary, R Harper
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
1752007
Stack-based typed assembly language
G Morrisett, K Crary, N Glew, D Walker
International Workshop on Types in Compilation, 28-52, 1998
1741998
Intensional polymorphism in type-erasure semantics
K Crary, S Weirich, G Morrisett
ACM SIGPLAN Notices 34 (1), 301-312, 1998
1541998
Intensional polymorphism in type-erasure semantics
K Crary, S Weirich, G Morrisett
ACM SIGPLAN Notices 34 (1), 301-312, 1998
1541998
Typed memory management via static capabilities
D Walker, K Crary, G Morrisett
ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (4), 701-771, 2000
1472000
A symmetric modal lambda calculus for distributed computing
T Murphy, K Crary, R Harper, F Pfenning
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
1352004
A symmetric modal lambda calculus for distributed computing
T Murphy, K Crary, R Harper, F Pfenning
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
1352004
Toward a foundational typed assembly language
K Crary
ACM SIGPLAN Notices 38 (1), 198-212, 2003
1272003
Flexible type analysis
K Crary, S Weirich
Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999
1211999
A type system for higher-order modules
D Dreyer, K Crary, R Harper
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003
1112003
A type system for higher-order modules
D Dreyer, K Crary, R Harper
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003
1112003
Stack-based typed assembly language
G Morrisett, K Crary, N Glew, D Walker
Journal of Functional Programming 12 (1), 43-88, 2002
1022002
Type-safe distributed programming with ML5
T Murphy VII, K Crary, R Harper
International Symposium on Trustworthy Global Computing, 108-123, 2007
752007
A monadic analysis of information flow security with mutable state
K Crary, A Kliger, F Pfenning
Journal of functional programming 15 (2), 249-291, 2005
642005
Intensional polymorphism in type-erasure semantics
K Crary, S Weirich, G Morrisett
Journal of Functional Programming 12 (6), 567-600, 2002
622002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20