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

Practical Datatype Specializations with Phantom Types and Recursion Schemes., und . ML, Volume 148 von Electronic Notes in Theoretical Computer Science, Seite 211-237. Elsevier, (2005)Monadic regions., und . ICFP, Seite 103-114. ACM, (2004)Transactional events., und . ICFP, Seite 124-135. ACM, (2006)Practical Inlining of Functions with Free Variables., , , und . CoRR, (2013)An Efficient Type- and Control-Flow Analysis for System F., und . IFL, Seite 3:1-3:14. ACM, (2014)Practical and effective higher-order optimizations., , , , und . ICFP, Seite 81-93. ACM, (2014)Speculative N-Way barriers., , , und . DAMP, Seite 1-12. ACM, (2009)Linear Regions Are All You Need., , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 7-21. Springer, (2006)Programming in Manticore, a Heterogenous Parallel Functional Language., , , , , , und . CEFP, Volume 6299 von Lecture Notes in Computer Science, Seite 94-145. Springer, (2009)A Type- and Control-Flow Analysis for System F.. IFL, Volume 8241 von Lecture Notes in Computer Science, Seite 122-139. Springer, (2012)