Klaus Ostermann

Available identifiers

zbMath Open ostermann.klausMaRDI QIDQ2323965

List of research outcomes

Publication	Date of Publication	Type
Region-based resource management and lexical exception handlers in continuation-passing style	2023-08-03	Paper
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala	2020-05-26	Paper
Dualizing generalized algebraic data types by matrix transposition	2019-09-13	Paper
A virtual class calculus	2017-08-21	Paper
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem	2017-05-10	Paper
System F-omega with equirecursive types for datatype-generic programming	2016-10-24	Paper
An Overview of CaesarJ	2009-06-26	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q3046725	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4435357	2003-12-01	Paper

Research outcomes over time

This page was built for person: Klaus Ostermann