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

Infix-Extensible Record Types for Tabular Data., und . TyDe@ICFP, Seite 29-43. ACM, (2023)Haskell for Choice-Based Learning (Keynote).. Haskell, Seite 1. ACM, (2023)Union Types with Disjoint Switches., , , und . ECOOP, Volume 222 von LIPIcs, Seite 25:1-25:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Let Arguments Go First., und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 272-299. Springer, (2018)Consistent Subtyping for All., , und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 3-30. Springer, (2018)Effect handlers in Haskell, evidently., und . Haskell@ICFP, Seite 95-108. ACM, (2020)Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning., , , und . MLSys, mlsys.org, (2022)Row and Bounded Polymorphism via Disjoint Polymorphism., , , und . ECOOP, Volume 166 von LIPIcs, Seite 27:1-27:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Distributive Disjoint Polymorphism for Compositional Programming., , , und . ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 381-409. Springer, (2019)Applicative Intersection Types., , und . APLAS, Volume 13658 von Lecture Notes in Computer Science, Seite 155-174. Springer, (2022)