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

Automatic SIMD vectorization for Haskell., , und . ICFP, Seite 25-36. ACM, (2013)A Theory of Second-Order Trees.. ESOP, Volume 2305 von Lecture Notes in Computer Science, Seite 147-161. Springer, (2002)The Intel labs Haskell research compiler., , , und . Haskell, Seite 105-116. ACM, (2013)Type-Safe Optimisation of Plugin Architectures., , und . SAS, Volume 3672 von Lecture Notes in Computer Science, Seite 135-154. Springer, (2005)Stack-based typed assembly language., , , und . J. Funct. Program., 12 (1): 3-88 (2002)Certifying Compilation for a Language with Stack Allocation., , , und . LICS, Seite 407-416. IEEE Computer Society, (2005)From System F to Typed Assembly Language, , , und . Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (Januar 1998)Formalisation of the lambda aleph Runtime., , und . CoRR, (2013)Certified email with a light on-line trusted third party: design and implementation., und . WWW, Seite 387-395. ACM, (2002)Method Inlining, Dynamic Class Loading, and Type Soundness., und . J. Object Technol., 4 (8): 33-53 (2005)