| Publication | Date of Publication | Type |
|---|
| A typed lambda calculus of objects (extended abstract) | 2024-06-21 | Paper |
scientific article; zbMATH DE number 7561489 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
scientific article; zbMATH DE number 7168151 (Why is no real title available?)
(available as arXiv preprint) | 2020-02-17 | Paper |
Parametric polymorphism for XML
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches
Programming Languages and Systems | 2016-04-26 | Paper |
Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
Journal of the ACM | 2015-11-11 | Paper |
CDuce: an XML-centric general-purpose language
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Secure safe ambients
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Set-theoretic foundation of parametric polymorphism and subtyping
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
An overview of boxed ambients (abstract)
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
On global types and multi-party sessions
Logical Methods in Computer Science | 2012-04-03 | Paper |
Contracts for Mobile Processes
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Foundations of Security Analysis and Design II
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Semantic subtyping for the pi-calculus
Theoretical Computer Science | 2008-06-24 | Paper |
Encoding ℂDuce in the ℂπ-Calculus
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Database Programming Languages
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2242580 (Why is no real title available?) | 2006-01-02 | Paper |
The seal calculus
Information and Computation | 2005-09-22 | Paper |
| scientific article; zbMATH DE number 2044504 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1954375 (Why is no real title available?) | 2003-07-28 | Paper |
Behavioural typing for safe ambients
Computer Languages, Systems & Structures | 2003-05-04 | Paper |
| scientific article; zbMATH DE number 1863161 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1863160 (Why is no real title available?) | 2003-02-03 | Paper |
Dependent types with subtyping and late-bound overloading
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1759632 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1354148 (Why is no real title available?) | 1999-10-31 | Paper |
Unifying overloading and \(\lambda\)-abstraction: \(\lambda^{\{\,\}}\)
Theoretical Computer Science | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 1005367 (Why is no real title available?) | 1997-04-29 | Paper |
A meta-language for typed object-oriented languages
Theoretical Computer Science | 1997-02-27 | Paper |
Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
Formal Aspects of Computing | 1996-12-11 | Paper |
A calculus for overloaded functions with subtyping
Information and Computation | 1995-08-27 | Paper |
| scientific article; zbMATH DE number 512775 (Why is no real title available?) | 1994-10-19 | Paper |
