Autor der Publikation

Lightweight Invariants with Full Dependent Types.

, , und . Trends in Functional Programming, Volume 9 von Trends in Functional Programming, Seite 161-177. Intellect, (2008)

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

The Peter Landin prize., und . Higher-Order and Symbolic Computation, 22 (4): 305-312 (2009)Resource analyses for parallel and distributed coordination., , , , und . Concurrency and Computation: Practice and Experience, 25 (3): 309-348 (2013)Automatic Skeletons in Template Haskell., , und . Parallel Processing Letters, 13 (3): 413-424 (2003)Parallel heuristic search in Haskell., , und . Scottish Functional Programming Workshop, Volume 2 von Trends in Functional Programming, Seite 65-76. Intellect, (2000)Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework., , , , und . ISPDC, Seite 143-150. IEEE Computer Society, (2007)On the Granularity of Divide-and-Conquer Parallelism., und . Functional Programming, Seite 8. Springer, (1995)Implementing Haskell Type Classes., und . Functional Programming, Seite 266-286. Springer, (1989)Special issue on Parallel and distributed computing based on the functional programming paradigm., , , , und . Concurrency and Computation: Practice and Experience, (2018)Worst-Case Execution Times for a Purely Functional Language., , , und . IFL, Volume 4449 von Lecture Notes in Computer Science, Seite 235-252. Springer, (2006)A verified staged interpreter is a verified compiler., und . GPCE, Seite 111-120. ACM, (2006)