| Publication | Date of Publication | Type |
|---|
| Event structure semantics for multiparty sessions | 2024-02-23 | Paper |
| A Java-like calculus with heterogeneous coeffects | 2023-08-18 | Paper |
| Intersection types in Java: back to the future | 2023-08-02 | Paper |
| Deconfined Global Types for Asynchronous Sessions | 2023-03-22 | Paper |
| Event structure semantics for multiparty sessions | 2023-02-03 | Paper |
| Type inference in polymorphic type discipline | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5076059 | 2022-05-12 | Paper |
| Refinement types for program analysis | 2022-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015360 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994973 | 2021-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993855 | 2021-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986662 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964691 | 2021-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5146651 | 2021-01-26 | Paper |
| Concurrent Reversible Sessions | 2020-05-27 | Paper |
| Global types with internal delegation | 2020-01-22 | Paper |
| Reversible sessions with flexible choices | 2019-10-17 | Paper |
| Flexible recovery of uniqueness and immutability | 2019-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621132 | 2019-02-08 | Paper |
| Standard Type Soundness for Agents and Artifacts | 2019-02-08 | Paper |
| A Provably Correct Compilation of Functional Languages into Scripting Languages | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4585064 | 2018-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580225 | 2018-08-13 | Paper |
| Type safe incremental rebinding | 2017-04-04 | Paper |
| Incremental rebinding with name polymorphism | 2016-08-05 | Paper |
| Formal attributes traceability in modular language development frameworks | 2016-08-05 | Paper |
| Typed stochastic semantics for the calculus of looping sequences | 2012-05-30 | Paper |
| Extending the lambda-calculus with unbind and rebind | 2011-06-10 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Intersection, Universally Quantified, and Reference Types | 2009-11-12 | Paper |
| A type safe state abstraction for coordination in JAVA-like languages | 2009-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601885 | 2009-02-12 | Paper |
| Safe ambients: Abstract machine and distributed implementation | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024904 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472544 | 2004-08-04 | Paper |
| Fickle: Dynamic Object Re-classification | 2002-04-15 | Paper |
| Strictness, totality, and non-standard-type inference | 2002-03-03 | Paper |
| Automatic useless-code elimination for HOT functional programs | 2001-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490757 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699353 | 1999-11-10 | Paper |
| A filter model for mobile processes | 1999-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364386 | 1997-11-17 | Paper |
| Principal types and unification for simple intersection type systems | 1995-10-30 | Paper |
| A type inference algorithm for a stratified polymorphic type discipline | 1994-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142164 | 1993-12-05 | Paper |
| Effectively given domains and lambda-calculus models | 1984-01-01 | Paper |
