( en | de | ru )

 

Disambiguierung von "Hutton, Graham"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Liquidate your assets: reasoning about resource usage in liquid Haskell.

, , und . Proc. ACM Program. Lang., 4 (POPL): 24:1-24:27 (2020)

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

Robert Graham

Graham Tebb

 

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.Categories, Allegories and Circuit Design, und . LICS, Seite 372-381. IEEE Computer Society, (1994)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)Inflation and society. Allen & Unwin, London, (1960)Programming in Haskell. Cambridge University Press, (15.01.2007)Liquidate your assets: reasoning about resource usage in liquid Haskell., , und . Proc. ACM Program. Lang., 4 (POPL): 24:1-24:27 (2020)Monadic Parsing in Haskell, und . Journal of Functional Programming, 8 (04): 437--444 (Juli 1998)