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

Confluence for Functional Dependencies., und . Trends in Functional Programming, Volume 9 von Trends in Functional Programming, Seite 49-64. Intellect, (2008)Guard Reasoning in the Refined Operational Semantics of CHR., , und . Constraint Handling Rules, Volume 5388 von Lecture Notes in Computer Science, Springer, (2008)Introduction to the 30th International Conference on Logic Programming Special Issue., und . TPLP, 14 (4-5): 401-414 (2014)MRI: Modular reasoning about interference in incremental programming., , und . J. Funct. Program., 22 (6): 797-852 (2012)Partial Type Signatures for Haskell., , , und . PADL, Volume 8324 von Lecture Notes in Computer Science, Seite 17-32. Springer, (2014)Generic datatypes à la carte., und . WGP@ICFP, Seite 13-24. ACM, (2013)Memoizing a Monadic Mixin DSL., , , , und . WFLP, Volume 6816 von Lecture Notes in Computer Science, Seite 68-85. Springer, (2011)Towards Typed Prolog., , , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 693-697. Springer, (2008)Strictness Meets Data Flow., und . SAS, Volume 6337 von Lecture Notes in Computer Science, Seite 439-454. Springer, (2010)Tabling as a Library with Delimited Control., , , und . IJCAI, Seite 4145-4149. IJCAI/AAAI Press, (2016)