( en | de | ru )

 

Disambiguation of "Crary, Karl"

Author of the publication

copydeleteadd this publication to your clipboard
A type theory for memory allocation and data layout.

, , , and . POPL, page 172-184. 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. You can also use the button next to the name to display some publications already assigned to the person.

Karl

Rosa Karl

Marcus Karlstetter

Veronika Karl

Ludwig Karl

 

Other publications of authors with the same name

Programming language semantics in foundational type theory.. PROCOMET, volume 125 of IFIP Conference Proceedings, page 107-125. Chapman & Hall, (1998)Type-Safe Distributed Programming with ML5., , and . TGC, volume 4912 of Lecture Notes in Computer Science, page 108-123. Springer, (2007)Verifying the Hashgraph Consensus Algorithm.. CoRR, (2021)A type theory for memory allocation and data layout., , , and . POPL, page 172-184. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.Toward a foundational typed assembly language.. POPL, page 198-212. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.What is a Recursive Module?, , and . PLDI, page 50-63. ACM, (1999)A separate compilation extension to standard ML., , , and . ML, page 32-42. ACM, (2006)Stack-based typed assembly language., , , and . J. Funct. Program., 12 (1): 3-88 (2002)Typed memory management via static capabilities., , and . ACM Trans. Program. Lang. Syst., 22 (4): 701-771 (2000)Automated and certified conformance to responsiveness policies., and . TLDI, page 79-90. ACM, (2005)