| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7779293 (Why is no real title available?)
| 2023-12-15 | Paper |
scientific article; zbMATH DE number 7779290 (Why is no real title available?)
| 2023-12-15 | Paper |
Algeo: an algebraic approach to reversibility
| 2022-11-11 | Paper |
Infinitary axiomatization of the equational theory of context-free languages
| 2021-06-10 | Paper |
Infinitary axiomatization of the equational theory of context-free languages
Fundamenta Informaticae | 2017-11-10 | Paper |
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Modal intersection types, two-level languages, and staged synthesis
Semantics, Logics, and Calculi | 2016-03-23 | Paper |
Generic discrimination: sorting and partitioning unshared data in linear time
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
Optimally streaming greedy regular expression parsing
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Sorting and searching by distribution: from generic discrimination to generic tries
Programming Languages and Systems | 2015-01-12 | Paper |
Regular expression containment, coinductive axiomatization and computational interpretation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Generic top-down discrimination for sorting and partitioning in linear time
Journal of Functional Programming | 2014-02-27 | Paper |
Two-pass greedy regular expression parsing
Implementation and Application of Automata | 2013-08-07 | Paper |
Dynamic symbolic computation for domain-specific language implementation
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Rock’n’Roll Computer Science
Logic and Program Semantics | 2012-07-16 | Paper |
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
Bit-coded Regular Expression Parsing
Language and Automata Theory and Applications | 2011-06-03 | Paper |
What is a sorting function?
The Journal of Logic and Algebraic Programming | 2009-09-29 | Paper |
POETS: process-oriented event-driven transaction systems
The Journal of Logic and Algebraic Programming | 2009-07-20 | Paper |
The complexity of type inference for higher-order typed lambda calculi
Journal of Functional Programming | 1995-12-13 | Paper |
Dynamic typing: Syntax and proof theory
Science of Computer Programming | 1994-07-21 | Paper |
scientific article; zbMATH DE number 176152 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 88941 (Why is no real title available?)
| 1993-01-16 | Paper |
