| Publication | Date of Publication | Type |
|---|
Negation-closure for JSON schema
Theoretical Computer Science | 2023-04-12 | Paper |
On confluence for weakly normalizing systems
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
Lecture Notes in Computer Science | 2022-08-16 | Paper |
scientific article; zbMATH DE number 7561594 (Why is no real title available?)
| 2022-07-21 | Paper |
Linear time membership in a class of regular expressions with counting, interleaving, and unordered concatenation
ACM Transactions on Database Systems | 2021-11-25 | Paper |
Complexity of kernel fun subtype checking
Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 | 2016-09-01 | Paper |
Almost-linear inclusion for XML regular expression types
ACM Transactions on Database Systems | 2015-09-03 | Paper |
Types for path correctness of XML queries
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
Theoretical Computer Science | 2014-01-10 | Paper |
Manipulating trees with hidden labels
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Efficient inclusion for a class of XML types with interleaving and counting
Information Systems | 2010-04-21 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Expressiveness and complexity of graph logic
Information and Computation | 2007-03-12 | Paper |
Static analysis for path correctness of XML queries
Journal of Functional Programming | 2006-08-28 | Paper |
Types for the ambient calculus
Information and Computation | 2006-08-03 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
Subtyping recursion and parametric polymorphism in kernel Fun
Information and Computation | 2005-06-13 | Paper |
Secrecy and group creation
Information and Computation | 2005-02-22 | Paper |
TQL: a query language for semistructured data based on the ambient logic
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
scientific article; zbMATH DE number 2086655 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1956515 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1863160 (Why is no real title available?)
| 2003-02-03 | Paper |
Basic theory of \(F\)-bounded quantification.
Information and Computation | 2003-01-14 | Paper |
Foundations for extensible objects with roles
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1759481 (Why is no real title available?)
| 2002-06-25 | Paper |
scientific article; zbMATH DE number 1759623 (Why is no real title available?)
| 2002-06-25 | Paper |
scientific article; zbMATH DE number 1692931 (Why is no real title available?)
| 2002-01-21 | Paper |
Bounded existentials and minimal typing
Theoretical Computer Science | 1998-08-13 | Paper |
Termination of system \(F\)-bounded: A complete proof
Information and Computation | 1998-07-27 | Paper |
Divergence of \(F_{\leq}\) type checking
Theoretical Computer Science | 1997-02-28 | Paper |
scientific article; zbMATH DE number 814795 (Why is no real title available?)
| 1995-11-09 | 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 |
Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\)
Information and Computation | 1994-06-09 | Paper |
scientific article; zbMATH DE number 512778 (Why is no real title available?)
| 1994-04-07 | Paper |
scientific article; zbMATH DE number 125886 (Why is no real title available?)
| 1993-02-21 | Paper |
Coherence of subsumption, minimum typing and type-checking in F ≤
Mathematical Structures in Computer Science | 1992-09-27 | Paper |
