E-LIB Suche - Ergebnisse für: Brachthäuser, Jonathan Immanuel

1

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

Lee, Edward ; Zhao, Yaoyu ; Lhoták, Ondřej...
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 583-612 , 2024

Link: https://doi.org/10.1145/..

2

Getting into the Flow: Towards Better Type Error Messages f..:

Bhanuka, Ishan ; Parreaux, Lionel ; Binder, David.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 431-459 , 2023

Link: https://doi.org/10.1145/..

3

Back to Direct Style: Typed and Tight:

Müller, Marius ; Schuster, Philipp ; Brachthäuser, Jonathan Immanuel.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 848-875 , 2023

Link: https://doi.org/10.1145/..

4

With or Without You: Programming with Effect Exclusion:

Lutze, Matthew ; Madsen, Magnus ; Schuster, Philipp.
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 448-475 , 2023

Link: https://doi.org/10.1145/..

5

From Capabilities to Regions: Enabling Efficient Compilatio..:

Müller, Marius ; Schuster, Philipp ; Starup, Jonathan Lindegaard..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 941-970 , 2023

Link: https://doi.org/10.1145/..

6

A typed continuation-passing translation for lexical effect..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Schuster, Philipp ; Brachthäuser, Jonathan Immanuel ; Müller, Marius. - p. 566-579 , 2022

Link: https://dl.acm.org/doi/1..

7

Type-level programming with match types:

Blanvillain, Olivier ; Brachthäuser, Jonathan Immanuel ; Kjaer, Maxime.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-24 , 2022

Link: https://doi.org/10.1145/..

8

Region-based Resource Management and Lexical Exception Hand..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Schuster, Philipp ; Brachthäuser, Jonathan Immanuel ; Ostermann, Klaus - p. 492-519 , 2022

Link: https://doi.org/10.1007/..

9

What You See Is What You Get: Practical Effect Handlers in ..:

, In: Ernst Denert Award for Software Engineering 2020,

Brachthäuser, Jonathan Immanuel - p. 15-43 , 2022

Link: https://doi.org/10.1007/..

10

Type-level programming with match types:

Blanvillain, Olivier ; Brachthäuser, Jonathan Immanuel ; Kjaer, Maxime.
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-24 , 2022

Link: https://dl.acm.org/doi/1..

11

Effects, capabilities, and boxes: from scope-based reasonin..:

Brachthäuser, Jonathan Immanuel ; Schuster, Philipp ; Lee, Edward.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA1 - p. 1-30 , 2022

Link: https://doi.org/10.1145/..

12

Safer exceptions for Scala:

, In: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala,

Odersky, Martin ; Boruch-Gruszecki, Aleksander ; Brachthäuser, Jonathan Immanuel.. - p. 1-11 , 2021

Link: https://dl.acm.org/doi/1..

13

Multi-stage programming with generative and analytical macr..:

, In: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Stucki, Nicolas ; Brachthäuser, Jonathan Immanuel ; Odersky, Martin - p. 110-122 , 2021

Link: https://dl.acm.org/doi/1..

14

Virtual ADTs for portable metaprogramming:

, In: Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes,

Stucki, Nicolas ; Brachthäuser, Jonathan Immanuel ; Odersky, Martin - p. 36-44 , 2021

Link: https://dl.acm.org/doi/1..

15

Effects as capabilities: effect handlers and lightweight ef..:

Brachthäuser, Jonathan Immanuel ; Schuster, Philipp ; Ostermann, Klaus
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..