Browsing Universitätsbibliographie by Author "Brachthäuser, Jonathan Immanuel"

Now showing items 1-20 of 20

Back to Direct Style: Typed and Tight

Ostermann, Klaus; Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Müller, Marius (2023)
Capturing Types

Brachthäuser, Jonathan Immanuel; Odersky, M.; Lhoták, O.; Lee, E.; Boruch-Gruszecki, A. (2023)
Capturing Types

Brachthäuser, Jonathan Immanuel; Lhoták, Ondřej; Lee, Edward; Boruch-Gruszecki, Aleksander (2023)
Capturing Types

Boruch-Gruszecki, Aleksander; Odersky, Martin; Lee, Edward; Lhotak, Ondrej; Brachthaeuser, Jonathan (2023)
Compiling effect handlers in capability-passing style

Schuster, Philipp; Brachthäuser, Jonathan Immanuel; Ostermann, Klaus (2020)
Design and implementation of effect handlers for object-oriented programming languages

Brachthäuser, Jonathan Immanuel (2019)
Effect Handlers and General Purpose Languages

Brachthäuser, Jonathan Immanuel; Cong, Youyou; Gibbons, Jeremy (2024)
Effect Handlers and General Purpose Languages

Brachthäuser, Jonathan Immanuel; Cong, Youyou; Gibbons, Jeremy (2023)
Effect handlers for the masses

Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus (2018)
Effects as capabilities: effect handlers and lightweight effect polymorphism

Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus (2020)
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

Brachthäuser, Jonathan; Schuster, Philipp; Lee, Edward; Boruch-Gruszecki, Aleksander (2022)
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

Brachthaeuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus (2020)
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers

Müller, Marius; Schuster, Philipp; Lindegaard Starup, Jonathan; Ostermann, Klaus; Brachthäuser, Jonathan Immanuel (2023)
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers

Brachthäuser, Jonathan Immanuel; Ostermann, Klaus; Lindegaard Starup, Jonathan; Schuster, Philipp; Müller, Marius (2023)
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Brachthäuser, Jonathan Immanuel; Binder, David; Parreaux, Lionel; Bhanuka, Ishan (2023)
Parsing with first-class derivatives

Brachthäuser, J. I.; Rendel, T.; Ostermann, K. (2016)
Qualifying System F-sub

Brachthäuser, Jonathan Immanuel; Lhoták, Ondřej; Satheeskumar, Kavin; You, James; Zhao, Yaoyu; Lee, Edward (2023)
Qualifying System F<:: Some Terms and Conditions May Apply

Lee, Edward; Zhao, Yaoyu; Lhoták Ondřej; Satheeskumar, Kavin; Brachthäuser, Jonathan Immanuel (2024)
Scoped Capabilities for Polymorphic Effects

Odersky, Martin; Boruch-Gruszecki, Aleksander; Lee, Edward; Lhoták, Ondřej; Brachthäuser, Jonathan (2022)
With or Without You: Programming with Effect Exclusion

With or Without You: Programming with Effect Exclusion; Schuster, Philipp; Madsen, Magnus; Lutze, Matthew (2023)

Now showing items 1-20 of 20

Report a Publication

Help

Browse

All of DSpace
This Community

Browsing Universitätsbibliographie by Author "Brachthäuser, Jonathan Immanuel"

DSpace Repository

Browsing Universitätsbibliographie by Author "Brachthäuser, Jonathan Immanuel"

Browse

All of DSpace

This Community

My Account