( en | de | ru )

 

Disambiguation of "Crary, Karl"

Author of the publication

copydeleteadd this publication to your clipboard
Typed Memory Management in a Calculus of Capabilities.

, , and . POPL, page 262-275. ACM, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karl

Ewald Karl

Hermann Karl

Toni Karl

Willy Karl

 

Other publications of authors with the same name

Automated and certified conformance to responsiveness policies., and . TLDI, page 79-90. ACM, (2005)Intensional Polymorphism in Type-Erasure Semantics., , and . ICFP, page 301-312. ACM, (1998)SIGPLAN Notices 34(1), January 1999.Typed compilation of inclusive subtyping.. ICFP, page 68-81. ACM, (2000)SIGPLAN Notices 35(9), September 2000.An expressive, scalable type theory for certified code., and . ICFP, page 191-205. ACM, (2002)SIGPLAN Notices 37(9), September 2002.Sound and Complete Elimination of Singleton Kinds.. Types in Compilation, volume 2071 of Lecture Notes in Computer Science, page 1-26. Springer, (2000)From System F to Typed Assembly Language, , , and . Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (January 1998)Mechanizing the Metatheory of Standard ML, , and . (2006)Stack-Based Typed Assembly Language., , , and . Types in Compilation, volume 1473 of Lecture Notes in Computer Science, page 28-52. Springer, (1998)Type-Safe Distributed Programming with ML5., , and . TGC, volume 4912 of Lecture Notes in Computer Science, page 108-123. Springer, (2007)Programming language semantics in foundational type theory.. PROCOMET, volume 125 of IFIP Conference Proceedings, page 107-125. Chapman & Hall, (1998)