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

Call-by-need is clairvoyant call-by-value., und . Proc. ACM Program. Lang., 3 (ICFP): 114:1-114:23 (2019)Programming in Haskell. Cambridge University Press, (15.01.2007)Back to Basics: Deriving Representation Changers Functionally., und . J. Funct. Program., 6 (1): 181-188 (1996)PhD Abstracts.. J. Funct. Program., (2018)PhD Abstracts.. J. Funct. Program., (2015)What is the meaning of these constant interruptions?, und . J. Funct. Program., 17 (6): 777-792 (2007)Liquidate your assets: reasoning about resource usage in liquid Haskell., , und . Proc. ACM Program. Lang., 4 (POPL): 24:1-24:27 (2020)Inflation and society. Allen & Unwin, London, (1960)Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7.. J. Funct. Program., 4 (4): 557-559 (1994)Monadic Parsing in Haskell., und . J. Funct. Program., 8 (4): 437-444 (1998)