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

Bulk types with class. In Proceedings of the Second Haskell Workshop, (September 1996)Implementing Functional Languages, und . Prentice Hall, (01.05.1992)Composing Contracts: An Adventure in Financial Engineering.. FME, Volume 2021 von Lecture Notes in Computer Science, Seite 435. Springer, (2001)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)Time and Space Profiling for Non-Strict Higher-Order Functional Languages., und . POPL, Seite 355-366. ACM Press, (1995)The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science). Prentice Hall, (01.05.1987)Processing Transactions on GRIP, a Parallel Graph Reducer., , , und . PARLE, Volume 694 von Lecture Notes in Computer Science, Seite 634-647. Springer, (1993)An ADATM compatible specification language., und . ACM Annual Conference, Seite 139-143. ACM, (1981)Let should not be generalized., , und . TLDI, Seite 39-50. ACM, (2010)Practical type inference for arbitrary-rank types., , , und . J. Funct. Program., 17 (1): 1-82 (2007)