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

A Simple Soundness Proof for Dependent Object Types., , , und . CoRR, (2017)A Path to DOT: Formalizing Scala with Dependent Object Types.. University of Waterloo, Ontario, Canada, (2019)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/15322).A Path To DOT: Formalizing Fully-Path-Dependent Types., und . CoRR, (2019)Mutable WadlerFest DOT., und . FTfJP@ECOOP, Seite 7:1-7:6. ACM, (2017)Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee., , und . Dagstuhl Artifacts Ser., 4 (3): 00:i-00:xii (2018)Precise Data Flow Analysis in the Presence of Correlated Method Calls., , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 54-71. Springer, (2015)Blame for Null., , , und . ECOOP, Volume 166 von LIPIcs, Seite 3:1-3:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)