( en | de | ru )

 

Disambiguierung von "Poulsen, Casper Bach"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Monadic Framework for Name Resolution in Multi-phased Type Checkers.

, , und . GPCE, Seite 14-28. ACM, (2023)

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.

Frederik Poulsen

Vagn Poulsen

Wilhelm Casper

Wolfgang Casper

Rudolf Casper

 

Weitere Publikationen von Autoren mit dem selben Namen

A Monadic Framework for Name Resolution in Multi-phased Type Checkers., , und . GPCE, Seite 14-28. ACM, (2023)Verifying Well-Typedness Preservation of Refactorings using Scope Graphs., , und . FTfJP@ECOOP, Seite 44-50. ACM, (2023)Deriving Pretty-Big-Step Semantics from Small-Step Semantics., und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 270-289. Springer, (2014)Intrinsically-typed definitional interpreters for imperative languages., , , , und . Proc. ACM Program. Lang., 2 (POPL): 16:1-16:34 (2018)Scopes as types., , , und . Proc. ACM Program. Lang., 2 (OOPSLA): 114:1-114:30 (2018)From definitional interpreter to symbolic executor., , , und . META@SPLASH, Seite 11-20. ACM, (2019)Towards a Language for Defining Reusable Programming Language Components - (Project Paper)., und . TFP, Volume 13401 von Lecture Notes in Computer Science, Seite 18-38. Springer, (2022)Intrinsically-typed definitional interpreters for linear, session-typed languages., , , und . CPP, Seite 284-298. ACM, (2020)Renamingless Capture-Avoiding Substitution for Definitional Interpreters.. Eelco Visser Commemorative Symposium, Volume 109 von OASIcs, Seite 2:1-2:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Latent Effects for Reusable Language Components., , , und . APLAS, Volume 13008 von Lecture Notes in Computer Science, Seite 182-201. Springer, (2021)