| Publication | Date of Publication | Type |
|---|
Checking equivalence of corecursive streams: an inductive procedure
Theoretical Computer Science | 2024-08-20 | Paper |
Checked corecursive streams: expressivity and completeness
Theoretical Computer Science | 2023-09-18 | Paper |
A Java-like calculus with heterogeneous coeffects
Theoretical Computer Science | 2023-08-18 | Paper |
| scientific article; zbMATH DE number 7699430 (Why is no real title available?) | 2023-06-20 | Paper |
Soundness conditions for big-step semantics
Programming Languages and Systems | 2022-10-13 | Paper |
Enhancing expressivity of checked corecursive streams
(available as arXiv preprint) | 2022-08-10 | 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 7526054 (Why is no real title available?) | 2022-05-12 | Paper |
scientific article; zbMATH DE number 7526054 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-12 | Paper |
| Reconciling positional and nominal binding | 2021-06-10 | Paper |
Reconciling positional and nominal binding
(available as arXiv preprint) | 2021-06-10 | Paper |
| Intersection types for unbind and rebind | 2021-03-03 | Paper |
Intersection types for unbind and rebind
(available as arXiv preprint) | 2021-03-03 | Paper |
Flexible coinductive logic programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Flexible recovery of uniqueness and immutability
Theoretical Computer Science | 2019-03-13 | Paper |
Flexible recovery of uniqueness and immutability
Theoretical Computer Science | 2019-03-13 | Paper |
| Constrained polymorphic types for a calculus with name variables | 2018-08-13 | Paper |
Polymorphic bytecode
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Generalizing inference systems by coaxioms
Programming Languages and Systems | 2017-05-19 | Paper |
Type safe incremental rebinding
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
An algebraic approach to mixins and modularity
Algebraic and Logic Programming | 2017-01-19 | Paper |
| Incremental rebinding with name polymorphism | 2016-08-05 | Paper |
| An imperative pure calculus | 2016-08-05 | Paper |
Aliasing Control in an Imperative Pure Calculus
Programming Languages and Systems | 2016-01-08 | Paper |
Principal typings for Java-like languages
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
A parametric calculus for mobile open code
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| A calculus for reconfiguration (extended abstract) | 2013-10-02 | Paper |
| A calculus for dynamic reconfiguration with low priority linking | 2013-09-26 | Paper |
Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
Information and Computation | 2012-05-24 | Paper |
Extending the lambda-calculus with unbind and rebind
RAIRO - Theoretical Informatics and Applications | 2011-06-10 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Type Inference by Coinductive Logic Programming
Lecture Notes in Computer Science | 2009-07-02 | Paper |
A Framework for Type Safe Exchange of Mobile Code
Trustworthy Global Computing | 2009-03-05 | Paper |
A calculus of open modules: call-by-need strategy and confluence
Mathematical Structures in Computer Science | 2007-09-06 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2163036 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2089402 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2038713 (Why is no real title available?) | 2004-02-08 | Paper |
A calculus of module systems
Journal of Functional Programming | 2002-05-14 | Paper |
| scientific article; zbMATH DE number 1728247 (Why is no real title available?) | 2002-04-15 | Paper |
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1617291 (Why is no real title available?) | 2001-07-11 | Paper |
Deriving proof rules from continuation semantics
Formal Aspects of Computing | 2000-05-07 | Paper |
Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages
Science of Computer Programming | 1999-11-01 | Paper |
From static to dynamic abstract data-types: An institution transformation
Theoretical Computer Science | 1999-04-28 | Paper |
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science | 1999-04-22 | Paper |
| scientific article; zbMATH DE number 1113855 (Why is no real title available?) | 1998-06-11 | Paper |
An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)
Formal Aspects of Computing | 1997-02-04 | Paper |
A free construction of dynamic terms
Journal of Computer and System Sciences | 1996-07-16 | Paper |
D-oids: a model for dynamic data-types
Mathematical Structures in Computer Science | 1996-05-28 | Paper |
Parametric channels via label expressions in CCS
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3846850 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3793396 (Why is no real title available?) | 1981-01-01 | Paper |
