Klaus Ostermann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Region-based resource management and lexical exception handlers in continuation-passing style Programming Languages and Systems	2023-08-03	Paper
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala Journal of Functional Programming	2020-05-26	Paper
Dualizing generalized algebraic data types by matrix transposition	2019-09-13	Paper
A virtual class calculus Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-08-21	Paper
Automatic refunctionalization to a language with copattern matching: with applications to the expression problem Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
System F-omega with equirecursive types for datatype-generic programming Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
An Overview of CaesarJ Transactions on Aspect-Oriented Software Development I	2009-06-26	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2089380 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2011461 (Why is no real title available?)	2003-12-01	Paper

Research outcomes over time

This page was built for person: Klaus Ostermann