| Publication | Date of Publication | Type |
|---|
| Self-quotation in a typed, intensional lambda-calculus | 2022-04-25 | Paper |
Intensional computation with higher-order functions
Theoretical Computer Science | 2019-03-26 | Paper |
| Programs as data structures in \(\lambda\)SF-calculus | 2018-04-23 | Paper |
Conflicting accounts of \(\lambda\)-definability
Journal of Logical and Algebraic Methods in Programming | 2017-02-22 | Paper |
Typed self-interpretation by pattern matching
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
A concurrent pattern calculus
Logical Methods in Computer Science | 2014-09-05 | Paper |
| The polymorphic imperative: a generic approach to in-place update | 2013-08-30 | Paper |
A combinatory account of internal structure
Journal of Symbolic Logic | 2011-10-10 | Paper |
Concurrent Pattern Calculus
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
| Pattern Calculus | 2009-05-27 | Paper |
First-class patterns
Journal of Functional Programming | 2009-03-25 | Paper |
Scrap Your Type Applications
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
| scientific article; zbMATH DE number 1760064 (Why is no real title available?) | 2002-11-06 | Paper |
| scientific article; zbMATH DE number 1722656 (Why is no real title available?) | 2002-03-21 | Paper |
| Towards dynamic shaping | 2001-10-04 | Paper |
| scientific article; zbMATH DE number 1497806 (Why is no real title available?) | 2001-03-04 | Paper |
Costing parallel programs as a function of shapes
Science of Computer Programming | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1330446 (Why is no real title available?) | 1999-09-21 | Paper |
Functorial ML
Journal of Functional Programming | 1999-05-03 | Paper |
Programming in FISh
International Journal on Software Tools for Technology Transfer. STTT | 1999-01-01 | Paper |
Covariant types
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1086710 (Why is no real title available?) | 1998-02-18 | Paper |
Finite objects in a locos
Journal of Pure and Applied Algebra | 1997-04-27 | Paper |
A semantics for shape
Science of Computer Programming | 1996-12-12 | Paper |
The virtues of eta-expansion
Journal of Functional Programming | 1995-10-09 | Paper |
| scientific article; zbMATH DE number 431765 (Why is no real title available?) | 1994-03-27 | Paper |
| scientific article; zbMATH DE number 517048 (Why is no real title available?) | 1994-03-17 | Paper |
Tail recursion through universal invariants
Theoretical Computer Science | 1994-01-23 | Paper |
Coherence in category theory and the Church-Rosser property
Notre Dame Journal of Formal Logic | 1992-07-22 | Paper |
| scientific article; zbMATH DE number 19489 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4150466 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4150466 (Why is no real title available?) | 1990-01-01 | Paper |
The structure of free closed categories
Journal of Pure and Applied Algebra | 1990-01-01 | Paper |
Languages for monoidal categories
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
A note on natural numbers objects in monoidal categories
Studia Logica | 1989-01-01 | Paper |
Local adjunctions
Journal of Pure and Applied Algebra | 1988-01-01 | Paper |
Lambek's operational categories
Bulletin of the Australian Mathematical Society | 1986-01-01 | Paper |
