| Publication | Date of Publication | Type |
|---|
Subtyping context-free session types
Theoretical Computer Science | 2026-03-30 | Paper |
Polymorphic higher-order context-free session types
Theoretical Computer Science | 2024-05-08 | Paper |
The different shades of infinite session types
Lecture Notes in Computer Science | 2024-01-23 | Paper |
Asynchronous timed session types. From duality to time-sensitive processes
Programming Languages and Systems | 2023-11-24 | Paper |
| System \(F^\mu_\omega\) with context-free session types | 2023-11-24 | Paper |
Polymorphic lambda calculus with context-free session types
Information and Computation | 2022-12-08 | Paper |
Mixed sessions
Programming Languages and Systems | 2022-10-13 | Paper |
Mixed sessions
Theoretical Computer Science | 2021-12-01 | Paper |
Deciding the bisimilarity of context-free session types
Tools and Algorithms for the Construction and Analysis of Systems | 2021-11-10 | Paper |
| Linearly refined session types | 2021-04-27 | Paper |
Linearly refined session types
(available as arXiv preprint) | 2021-04-27 | Paper |
The computational content of atomic polymorphism
Logic Journal of the IGPL | 2019-11-04 | Paper |
Affine sessions
(available as arXiv preprint) | 2018-11-30 | Paper |
Context-free session types
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
The stream-based service-centred calculus: a foundation for service-oriented programming
Formal Aspects of Computing | 2016-08-05 | Paper |
Linearity, session types and the pi calculus
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Modular session types for objects
Logical Methods in Computer Science | 2016-01-07 | Paper |
Modular session types for distributed object-oriented programming
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Lexically scoped distribution: what you see is what you get | 2013-08-27 | Paper |
Fundamentals of session types
Information and Computation | 2012-10-11 | Paper |
An algebra of behavioural types
Information and Computation | 2012-05-24 | Paper |
A linear account of session types in the pi calculus
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Linear type theory for asynchronous session types
Journal of Functional Programming | 2010-03-17 | Paper |
Type checking a multithreaded functional language with session types
Theoretical Computer Science | 2007-01-22 | Paper |
| Typing the behavior of software components using session types | 2007-01-04 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Lambda and pi calculi, CAM and SECD machines
Journal of Functional Programming | 2005-04-05 | Paper |
| scientific article; zbMATH DE number 1759630 (Why is no real title available?) | 2002-12-02 | Paper |
Communication errors in the \(\pi\)-calculus are undecidable
Information Processing Letters | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1760051 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1538026 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1398005 (Why is no real title available?) | 2000-02-03 | Paper |
| scientific article; zbMATH DE number 1231690 (Why is no real title available?) | 1999-01-10 | Paper |
Unification of kinded infinite trees
Information Processing Letters | 1997-02-27 | Paper |
