Search Results - "Brachthäuser, Jonathan Immanuel" :: K.UTB vyhledávací portál

Effects as capabilities: effect handlers and lightweight effect polymorphism

by Brachthäuser, Jonathan Immanuel, Schuster, Philipp, Ostermann, Klaus
Published in Proceedings of ACM on programming languages (13.11.2020)

Get full text

Journal Article

Loading…

Compiling effect handlers in capability-passing style

by Schuster, Philipp, Brachthäuser, Jonathan Immanuel, Ostermann, Klaus
Published in Proceedings of ACM on programming languages (02.08.2020)

Get full text

Journal Article

Loading…

Effect handlers, evidently

by Xie, Ningning, Brachthäuser, Jonathan Immanuel, Hillerström, Daniel, Schuster, Philipp, Leijen, Daan
Published in Proceedings of ACM on programming languages (02.08.2020)

Get full text

Journal Article

Loading…

Effect handlers for the masses

by Brachthäuser, Jonathan Immanuel, Schuster, Philipp, Ostermann, Klaus
Published in Proceedings of ACM on programming languages (01.11.2018)

Get full text

Journal Article

Loading…

Qualifying System F<:: Some Terms and Conditions May Apply

by Lee, Edward, Zhao, Yaoyu, Lhoták, Ondřej, You, James, Satheeskumar, Kavin, Brachthäuser, Jonathan Immanuel
Published in Proceedings of ACM on programming languages (29.04.2024)

Get full text

Journal Article

Loading…

Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

by BRACHTHÄUSER, JONATHAN IMMANUEL, SCHUSTER, PHILIPP, OSTERMANN, KLAUS
Published in Journal of functional programming (2020)

Get full text

Journal Article

Loading…

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

by Brachthäuser, Jonathan Immanuel, Schuster, Philipp, Lee, Edward, Boruch-Gruszecki, Aleksander
Published in Proceedings of ACM on programming languages (29.04.2022)

Get full text

Journal Article

Loading…

With or Without You: Programming with Effect Exclusion

by Lutze, Matthew, Madsen, Magnus, Schuster, Philipp, Brachthäuser, Jonathan Immanuel
Published in Proceedings of ACM on programming languages (30.08.2023)

Get full text

Journal Article

Loading…

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

by Bhanuka, Ishan, Parreaux, Lionel, Binder, David, Brachthäuser, Jonathan Immanuel
Published in Proceedings of ACM on programming languages (16.10.2023)

Get full text

Journal Article

Loading…

Type-level programming with match types

by Blanvillain, Olivier, Brachthäuser, Jonathan Immanuel, Kjaer, Maxime, Odersky, Martin
Published in Proceedings of ACM on programming languages (01.01.2022)

Get full text

Journal Article

Loading…

Back to Direct Style: Typed and Tight

by Müller, Marius, Schuster, Philipp, Brachthäuser, Jonathan Immanuel, Ostermann, Klaus
Published in Proceedings of ACM on programming languages (06.04.2023)

Get full text

Journal Article

Loading…

From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers

by Müller, Marius, Schuster, Philipp, Starup, Jonathan Lindegaard, Ostermann, Klaus, Brachthäuser, Jonathan Immanuel
Published in Proceedings of ACM on programming languages (16.10.2023)

Get full text

Journal Article