E-LIB Suche - Ergebnisse für: Ostermann, Klaus

1

Deriving Dependently-Typed OOP from First Principles:

Binder, David ; Skupin, Ingo ; Süberkrüb, Tim.
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 983-1009 , 2024

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

2

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/..

3

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/..

4

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..

5

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/..

6

Introduction and elimination, left and right:

Ostermann, Klaus ; Binder, David ; Skupin, Ingo..
Proceedings of the ACM on Programming Languages. 6 (2022) ICFP - p. 438-465 , 2022

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

7

Structural refinement types:

, In: Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development,

Binder, David ; Skupin, Ingo ; Läwen, David. - p. 15-27 , 2022

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

8

Co-Contextual Type Systems: Contextless Deductive Reasoning..:

Kuci, Edlira , 2020

Link: https://nbn-resolving.de..

9

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/..

10

Compiling effect handlers in capability-passing style:

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

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

11

Compiling effect handlers in capability-passing style:

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

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

12

SCAPA: Development of a Questionnaire Assessing Self-Concep..:

, In: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education,

Leifheit, Luzia ; Tsarava, Katerina ; Ninaus, Manuel... - p. 138-144 , 2020

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

13

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://dl.acm.org/doi/1..

14

Effekt: Capability-passing style for type- and effect-safe,..:

BRACHTHÄUSER, JONATHAN IMMANUEL ; SCHUSTER, PHILIPP ; OSTERMANN, KLAUS
Journal of Functional Programming. 30 (2020) - p. , 2020

Link: https://doi.org/10.1017/..

15

Decomposition diversity with symmetric data and codata:

Binder, David ; Jabs, Julian ; Skupin, Ingo.
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

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