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

Improving Programs Which Recurse over Multiple Inductive Structures., , und . PEPM, Seite 21-32. University of Melbourne, Australia, Department of Computer Science, (1994)Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL., und . WGP@ICFP, Seite 3-14. ACM, (2014)A Recursive Base for Database Programming Primitives., und . East/West Database Workshop, Volume 504 von Lecture Notes in Computer Science, Seite 311-332. Springer, (1990)Exploiting Punctuation Semantics in Continuous Data Streams., , , und . IEEE Trans. Knowl. Data Eng., 15 (3): 555-568 (2003)On the Modes and Meaning of Feedback to Transaction Designers., , und . SIGMOD Conference, Seite 374-386. ACM Press, (1987)SIGMOD Record 16(3), December 1987.Type-level Computation Using Narrowing in Omegamega.. PLPV@IJCAR, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 105-128. Elsevier, (2006)Template meta-programming for Haskell., und . Haskell, Seite 1-16. ACM, (2002)Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection.. AMAST, Seite 145-152. Springer, (1993)Using MetaML: A Staged Programming Language.. Advanced Functional Programming, Volume 1608 von Lecture Notes in Computer Science, Seite 207-239. Springer, (1998)Fine Control of Demand in Haskell., , und . MPC, Volume 2386 von Lecture Notes in Computer Science, Seite 68-93. Springer, (2002)