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

Generic storage in Haskell., und . ICFP-WGP, Seite 25-36. ACM, (2010)Generic Haskell, Specifically., und . Generic Programming, Volume 243 von IFIP Conference Proceedings, Seite 21-47. Kluwer, (2002)Dependently Typed Grammars., , und . MPC, Volume 6120 von Lecture Notes in Computer Science, Seite 58-79. Springer, (2010)Generic programming with fixed points for mutually recursive datatypes., , , und . ICFP, Seite 233-244. ACM, (2009)Staged sums of products., , und . Haskell@ICFP, Seite 122-135. ACM, (2020)A Formal Comparison of Approaches to Datatype-Generic Programming, und . MSFP, Volume 76 von EPTCS, Seite 50-67. (2012)Generic Views on Data Types., , , und . MPC, Volume 4014 von Lecture Notes in Computer Science, Seite 209-234. Springer, (2006)PiSigma: Dependent Types without the Sugar., , , und . FLOPS, Volume 6009 von Lecture Notes in Computer Science, Seite 40-55. Springer, (2010)True sums of products., und . WGP@ICFP, Seite 83-94. ACM, (2014)Abstract syntax graphs for domain specific languages., und . PEPM, Seite 87-96. ACM, (2013)