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

Data-Codata Symmetry and its Interaction with Evaluation Order., , , und . CoRR, (2022)Structural refinement types., , , und . TyDe@ICFP, Seite 15-27. ACM, (2022)A Theory of Changes for Higher-Order Languages - Incrementalizing λ-Calculi by Static Differentiation., , , und . CoRR, (2013)Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala., , und . J. Funct. Program., (2020)Back to Direct Style: Typed and Tight., , , und . Proc. ACM Program. Lang., 7 (OOPSLA1): 848-875 (April 2023)From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers., , , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 941-970 (Oktober 2023)Introduction and elimination, left and right., , , , und . Proc. ACM Program. Lang., 6 (ICFP): 438-465 (2022)Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices., , , und . CoRR, (2024)A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation., , , und . PLDI, Seite 145-155. ACM, (2014)Development of a Questionnaire on Self-concept, Motivational Beliefs, and Attitude Towards Programming., , , , , , und . WiPSCE, Seite 26:1-26:9. ACM, (2019)