Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Pict: a programming language based on the Pi-Calculus., und . Proof, Language, and Interaction, Seite 455-494. The MIT Press, (2000)XTATIC., , , und . PLAN-X, Seite 88. BRICS, Department of Computer Science, University of Aarhus, (2006)Higher-Order Subtyping., und . PROCOMET, Volume A-56 von IFIP Transactions, Seite 511-530. North-Holland, (1994)Local type inference, und . ACM Trans. Program. Lang. Syst., 22 (1): 1-44 (Januar 2000)Advanced Topics in Types and Programming Languages. MIT Press, 1 Edition, (23.12.2005)Basic category theory for computer scientists.. Foundations of computing MIT Press, (1991)A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice., , und . PLAN-X, Seite 80-90. (2007)Positive Subtyping., und . POPL, Seite 186-197. ACM Press, (1995)Bounded Quantification is Undecidable.. POPL, Seite 305-315. ACM Press, (1992)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , und . CoRR, (2018)