( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A type system for higher-order modules.

, , и . POPL, стр. 236-249. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.

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.

Karl

Rosa Karl

Marcus Karlstetter

Veronika Karl

Ludwig Karl

 

Другие публикации лиц с тем же именем

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