Autor der Publikation

Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.

, , und . PPDP, Seite 4:1-4:13. 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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Threaded Code Generation with a Meta-Tracing JIT Compiler., , , und . J. Object Technol., 21 (2): 2:1-11 (2022)An Approach to Collecting Object Graphs for Data-structure Live Programming Based on a Language Implementation Framework., , , und . J. Inf. Process., (2022)Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq., , und . J. Inf. Process., 24 (1): 132-140 (2016)Self-supporting, Extensible Programming Languages and Environments for Exploratory, Live Software Development (NII Shonan Meeting 147)., , und . NII Shonan Meet. Rep., (2019)Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods., und . Art Sci. Eng. Program., 2 (3): 6 (2018)A Systematic Literature Review on the Impact of Formatting Elements on Program Understandability., , , , und . CoRR, (2022)Generating Optimized Residual Code in Run-Time Specialization, und . International Colloquium on Partial Evaluation and Program Transformation (PE Day'99), Seite 83--102. Waseda University, Tokyo, Japan, (November 1999)An Intrinsically Typed Compiler for Algebraic Effect Handlers., , und . PEPM, Seite 134-145. ACM, (2024)Improving the development of context-dependent Java applications with ContextJ., , und . COP@ECOOP, Seite 5:1-5:5. ACM, (2009)dart2java: Running Dart in Java-based Environments., , , und . ICOOOLPS@ECOOP, Seite 1:1-1:6. ACM, (2017)