| Publication | Date of Publication | Type |
|---|
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
Journal of Functional Programming | 2023-12-11 | Paper |
Semantic preservation for a type directed translation scheme of Featherweight Go
Lecture Notes in Computer Science | 2023-06-30 | Paper |
| A Dictionary-Passing Translation of Featherweight Go | 2023-03-29 | Paper |
A Computational Interpretation of Context-Free Expressions
Programming Languages and Systems | 2022-12-09 | Paper |
Solving of regular equations revisited
(available as arXiv preprint) | 2019-12-12 | Paper |
Derivatives and partial derivatives for regular shuffle expressions
Journal of Computer and System Sciences | 2019-06-25 | Paper |
The tableau-based theorem prover 3 T A P Version 4.0
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
LTL semantic tableaux and alternating -automata via linear factors
(available as arXiv preprint) | 2018-11-23 | Paper |
Derivative-based diagnosis of regular expression ambiguity
International Journal of Foundations of Computer Science | 2018-02-22 | Paper |
Static trace-based deadlock analysis for synchronous Mini-Go
Programming Languages and Systems | 2016-12-21 | Paper |
Derivative-based diagnosis of regular expression ambiguity
Lecture Notes in Computer Science | 2016-11-09 | Paper |
Forkable regular expressions
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Derivatives for regular shuffle expressions
Language and Automata Theory and Applications | 2016-04-08 | Paper |
From \(\omega\)-regular expressions to Büchi automata via partial derivatives
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Exception analysis for non-strict languages
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
A theory of overloading
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
Type checking with open type functions
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
Complete and decidable type inference for GADTs
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
On termination, confluence and consistent CHR-based type inference
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
POSIX regular expression parsing with derivatives
Functional and Logic Programming | 2014-07-24 | Paper |
Language-based program verification via expressive types
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
\textsc{OutsideIn(X)}: modular type inference with local assumptions
Journal of Functional Programming | 2013-04-24 | Paper |
Constructive finite trace analysis with linear temporal logic
Tests and Proofs | 2012-07-20 | Paper |
Concurrent goal-based execution of constraint handling rules
Theory and Practice of Logic Programming | 2012-05-24 | Paper |
Tag-free combinators for binding-time polymorphic program generation
Functional and Logic Programming | 2010-05-04 | Paper |
Resource usage verification.
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Observable Confluence for Constraint Handling Rules
Logic Programming | 2009-03-05 | Paper |
Transactions in Constraint Handling Rules
Logic Programming | 2009-01-22 | Paper |
Type Processing by Constraint Reasoning
Programming Languages and Systems | 2008-05-06 | Paper |
Principal Type Inference for GHC-Style Multi-parameter Type Classes
Programming Languages and Systems | 2008-05-06 | Paper |
HM(X) type inference is CLP(X) solving
Journal of Functional Programming | 2008-03-27 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
A Framework for Extended Algebraic Data Types
Functional and Logic Programming | 2007-05-02 | Paper |
Understanding functional dependencies via constraint handling rules
Journal of Functional Programming | 2007-02-07 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 1832219 (Why is no real title available?) | 2002-11-19 | Paper |
| scientific article; zbMATH DE number 1738290 (Why is no real title available?) | 2002-05-06 | Paper |
| scientific article; zbMATH DE number 1692901 (Why is no real title available?) | 2002-01-21 | Paper |
