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

Propositions as sessions.. J. Funct. Program., 24 (2-3): 384-418 (2014)The marriage of effects and monads., und . ACM Trans. Comput. Log., 4 (1): 1-32 (2003)Everything old is new again: Quoted Domain Specific Languages., , , und . CoRR, (2015)Projections for strictness analysis., und . FPCA, Volume 274 von Lecture Notes in Computer Science, Seite 385-407. Springer, (1987)The Essence of Form Abstraction., , , und . APLAS, Volume 5356 von Lecture Notes in Computer Science, Seite 205-220. Springer, (2008)Blame and coercion: together again for the first time., , und . PLDI, Seite 425-435. ACM, (2015)Featherwieght Java: A Minimal Core Calculus for Java and GJ., , und . OOPSLA, Seite 132-146. ACM, (1999)SIGPLAN Notices 34(10).Making the Future Safe for the Past: Adding Genericity to the Java Programming Language., , , und . OOPSLA, Seite 183-200. ACM, (1998)SIGPLAN Notices 33(10).Everything old is new again: quoted domain-specific languages., , , und . PEPM, Seite 25-36. ACM, (2016)System F in Agda, for Fun and Profit., , , und . MPC, Volume 11825 von Lecture Notes in Computer Science, Seite 255-297. Springer, (2019)