| Publication | Date of Publication | Type |
|---|
| Refinement types for program analysis | 2022-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993854 | 2021-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151035 | 2021-02-16 | Paper |
| Data-driven adaptation for smart sessions | 2017-07-04 | Paper |
| Isomorphism of intersection and union types | 2017-06-14 | Paper |
| Isomorphism of "Functional" Intersection Types | 2017-03-13 | Paper |
| A Gentle Introduction to Multiparty Asynchronous Session Types | 2016-10-04 | Paper |
| Partial and complete processes in multiparty sessions | 2016-08-05 | Paper |
| Global progress for dynamically interleaved multiparty sessions | 2016-07-28 | Paper |
| M\(^3\): mobility types for mobile processes in mobile ambients | 2013-08-27 | Paper |
| A fully abstract model for mobile ambients | 2013-07-24 | Paper |
| Simulation techniques for the calculus of wrapped compartments | 2012-05-30 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Amalgamating sessions and methods in object-oriented languages with generics | 2009-03-02 | Paper |
| Global Progress in Dynamically Interleaved Multiparty Sessions | 2008-11-25 | Paper |
| Types for ambient and process mobility | 2008-04-10 | Paper |
| Asynchronous Session Types and Progress for Object Oriented Languages | 2007-11-28 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673434 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737001 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472544 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448357 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771055 | 2002-04-21 | Paper |
| Strictness, totality, and non-standard-type inference | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703040 | 1999-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699353 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364386 | 1997-11-17 | Paper |
| Principal types and unification for simple intersection type systems | 1995-10-30 | Paper |
| Type inference, abstract interpretation and strictness analysis | 1994-02-22 | Paper |
| Type inference with recursive types: Syntax and semantics | 1991-01-01 | Paper |
| Type theories, normal forms, and \(D_{\infty}\)-lambda-models | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817572 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709890 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221961 | 1984-01-01 | Paper |
| Completeness of type assignment in continuous lambda models | 1984-01-01 | Paper |
| A filter lambda model and the completeness of type assignment | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674034 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3036694 | 1983-01-01 | Paper |
| On the semantics of polymorphism | 1983-01-01 | Paper |
| Functional Characters of Solvable Terms | 1981-01-01 | Paper |
| An extension of basic functionality theory for \(\lambda\)-calculus | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893285 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198724 | 1979-01-01 | Paper |
| A new type assignment for λ-terms | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175261 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4159030 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133598 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138712 | 1977-01-01 | Paper |
