( en | de | ru )

 

Disambiguierung von "Crary, Karl"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Simplified Account of the Metatheory of Linear LF.

, und . LFM, Volume 70 von Electronic Notes in Theoretical Computer Science, Seite 11-28. Elsevier, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Karl

Ewald Karl

Hermann Karl

Toni Karl

Willy Karl

 

Weitere Publikationen von Autoren mit dem selben Namen

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