| Publication | Date of Publication | Type |
|---|
Refinement types for program analysis
Static Analysis | 2022-02-16 | Paper |
| Toward isomorphism of intersection and union types | 2021-06-10 | Paper |
| scientific article; zbMATH DE number 7311342 (Why is no real title available?) | 2021-02-16 | Paper |
Data-driven adaptation for smart sessions
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Isomorphism of intersection and union types
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
| Isomorphism of "Functional" Intersection Types | 2017-03-13 | Paper |
A gentle introduction to multiparty asynchronous session types
Lecture Notes in Computer Science | 2016-10-04 | Paper |
| Partial and complete processes in multiparty sessions | 2016-08-05 | Paper |
Global progress for dynamically interleaved multiparty sessions
Mathematical Structures in Computer Science | 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
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Simulation techniques for the calculus of wrapped compartments
Theoretical Computer Science | 2012-05-30 | Paper |
Decidability properties of recursive types.
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Amalgamating sessions and methods in object-oriented languages with generics
Theoretical Computer Science | 2009-03-02 | Paper |
Global Progress in Dynamically Interleaved Multiparty Sessions
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Types for ambient and process mobility
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Asynchronous Session Types and Progress for Object Oriented Languages
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 2163047 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2086520 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080290 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2044493 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1705161 (Why is no real title available?) | 2002-04-21 | Paper |
Strictness, totality, and non-standard-type inference
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1377611 (Why is no real title available?) | 1999-12-14 | Paper |
| scientific article; zbMATH DE number 1361535 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1088038 (Why is no real title available?) | 1997-11-17 | Paper |
Principal types and unification for simple intersection type systems
Information and Computation | 1995-10-30 | Paper |
Type inference, abstract interpretation and strictness analysis
Theoretical Computer Science | 1994-02-22 | Paper |
Type inference with recursive types: Syntax and semantics
Information and Computation | 1991-01-01 | Paper |
Type theories, normal forms, and \(D_{\infty}\)-lambda-models
Information and Computation | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4090764 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3938562 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3889502 (Why is no real title available?) | 1984-01-01 | Paper |
Completeness of type assignment in continuous lambda models
Theoretical Computer Science | 1984-01-01 | Paper |
A filter lambda model and the completeness of type assignment
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3829227 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3831284 (Why is no real title available?) | 1983-01-01 | Paper |
On the semantics of polymorphism
Acta Informatica | 1983-01-01 | Paper |
Functional Characters of Solvable Terms
Mathematical Logic Quarterly | 1981-01-01 | Paper |
An extension of basic functionality theory for \(\lambda\)-calculus
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3700185 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3637819 (Why is no real title available?) | 1979-01-01 | Paper |
A new type assignment for λ-terms
Archiv für Mathematische Logik und Grundlagenforschung | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3611324 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3591961 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3557747 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3566822 (Why is no real title available?) | 1977-01-01 | Paper |
