( en | de | ru )

 

Disambiguierung von "Hutton, Graham"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Contractive Functions on Infinite Data Structures.

, , und . IFL, Seite 5:1-5:13. ACM, (2016)

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.

Graham Wade

Graham Frost

Noah Graham

Graham Tebb

Sandra Graham

 

Weitere Publikationen von Autoren mit dem selben Namen

Monadic Parser Combinators. (1996)Towards a Theory of Reach., und . TFP, Volume 9547 von Lecture Notes in Computer Science, Seite 22-39. Springer, (2015)Between functions and relations in calculating programs.. University of Glasgow, UK, (1992)British Library, EThOS.A tutorial on the universality and expressiveness of fold. J. Funct. Program., 9 (4): 355--372 (Juli 1999)Cutting Out Continuations., und . A List of Successes That Can Change the World, Volume 9600 von Lecture Notes in Computer Science, Seite 187-200. Springer, (2016)Categories, Allegories and Circuit Design, und . LICS, Seite 372-381. IEEE Computer Society, (1994)Preface.. Haskell, Volume 41 von Electronic Notes in Theoretical Computer Science, Seite 2. Elsevier, (2000)AutoBench: comparing the time performance of Haskell programs., und . Haskell@ICFP, Seite 26-37. ACM, (2018)Compiling Exceptions Correctly., und . MPC, Volume 3125 von Lecture Notes in Computer Science, Seite 211-227. Springer, (2004)Liquidate your assets: reasoning about resource usage in liquid Haskell., , und . Proc. ACM Program. Lang., 4 (POPL): 24:1-24:27 (2020)