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

Injective type families for Haskell., , und . Haskell, Seite 118-128. ACM, (2015)ICFP 2004: Scrap More Boilerplate: Reflection, Zips, and Generalised Casts., und . ACM SIGPLAN Notices, 50 (8s): 23-34 (2015)Functional Programming Languages as a Software Engineering Tool.. Embedded Systems, Volume 284 von Lecture Notes in Computer Science, Seite 153-173. Springer, (1986)Composing Contracts: An Adventure in Financial Engineering.. FME, Volume 2021 von Lecture Notes in Computer Science, Seite 435. Springer, (2001)The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science). Prentice Hall, (01.05.1987)Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell., , und . IFL, Volume 1868 von Lecture Notes in Computer Science, Seite 37-58. Springer, (1999)Practical type inference for arbitrary-rank types., , , und . J. Funct. Program., 17 (1): 1-82 (2007)Bulk types with class. In Proceedings of the Second Haskell Workshop, (September 1996)An ADATM compatible specification language., und . ACM Annual Conference, Seite 139-143. ACM, (1981)Time and Space Profiling for Non-Strict Higher-Order Functional Languages., und . POPL, Seite 355-366. ACM Press, (1995)