| Publication | Date of Publication | Type |
|---|
Global types and event structure semantics for asynchronous multiparty sessions
Fundamenta Informaticae | 2024-10-07 | Paper |
Event structure semantics for multiparty sessions
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
A Java-like calculus with heterogeneous coeffects
Theoretical Computer Science | 2023-08-18 | Paper |
Intersection types in Java: back to the future
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Deconfined Global Types for Asynchronous Sessions
Logical Methods in Computer Science | 2023-03-22 | Paper |
Event structure semantics for multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2023-02-03 | Paper |
Type inference in polymorphic type discipline
Lecture Notes in Computer Science | 2022-08-16 | Paper |
scientific article; zbMATH DE number 7526054 (Why is no real title available?)
| 2022-05-12 | Paper |
Refinement types for program analysis
Static Analysis | 2022-02-16 | Paper |
Reversible multiparty sessions with checkpoints
| 2021-12-07 | Paper |
A calculus of located entities
| 2021-06-22 | Paper |
Reconciling positional and nominal binding
| 2021-06-10 | Paper |
A calculus of looping sequences with local rules
| 2021-04-27 | Paper |
Intersection types for unbind and rebind
| 2021-03-03 | Paper |
scientific article; zbMATH DE number 7301530 (Why is no real title available?)
| 2021-01-26 | Paper |
Concurrent reversible sessions
| 2020-05-27 | Paper |
Global types with internal delegation
Theoretical Computer Science | 2020-01-22 | Paper |
Reversible sessions with flexible choices
Acta Informatica | 2019-10-17 | Paper |
Flexible recovery of uniqueness and immutability
Theoretical Computer Science | 2019-03-13 | Paper |
A provably correct compilation of functional languages into scripting languages
Scientific Annals of Computer Science | 2019-02-08 | Paper |
A calculus of evolving objects
| 2019-02-08 | Paper |
Standard type soundness for agents and artifacts
Scientific Annals of Computer Science | 2019-02-08 | Paper |
scientific article; zbMATH DE number 6932679 (Why is no real title available?)
| 2018-09-06 | Paper |
Constrained polymorphic types for a calculus with name variables
| 2018-08-13 | Paper |
Type safe incremental rebinding
Mathematical Structures in Computer Science | 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 |
Type checking for JavaScript
| 2013-09-26 | Paper |
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science | 2012-05-30 | Paper |
Extending the lambda-calculus with unbind and rebind
RAIRO - Theoretical Informatics and Applications | 2011-06-10 | Paper |
Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract)
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Intersection, Universally Quantified, and Reference Types
Computer Science Logic | 2009-11-12 | Paper |
A type safe state abstraction for coordination in JAVA-like languages
Acta Informatica | 2009-03-20 | Paper |
Alias types and effects for ``environments-aware computations
| 2009-02-12 | Paper |
Safe ambients: Abstract machine and distributed implementation
Science of Computer Programming | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2185712 (Why is no real title available?)
| 2005-07-04 | Paper |
scientific article; zbMATH DE number 2080290 (Why is no real title available?)
| 2004-08-04 | Paper |
Fickle: Dynamic Object Re-classification
ECOOP 2001 — Object-Oriented Programming | 2002-04-15 | Paper |
Strictness, totality, and non-standard-type inference
Theoretical Computer Science | 2002-03-03 | Paper |
Automatic useless-code elimination for HOT functional programs
Journal of Functional Programming | 2001-09-20 | Paper |
scientific article; zbMATH DE number 1479641 (Why is no real title available?)
| 2000-07-20 | Paper |
scientific article; zbMATH DE number 1361535 (Why is no real title available?)
| 1999-11-10 | Paper |
A filter model for mobile processes
Mathematical Structures in Computer Science | 1999-04-13 | 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 |
A type inference algorithm for a stratified polymorphic type discipline
Information and Computation | 1994-05-05 | Paper |
scientific article; zbMATH DE number 445157 (Why is no real title available?)
| 1993-12-05 | Paper |
Effectively given domains and lambda-calculus models
Information and Control | 1984-01-01 | Paper |
