Barry Jay

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Self-quotation in a typed, intensional lambda-calculus	2022-04-25	Paper
Intensional computation with higher-order functions	2019-03-26	Paper
Programs as data structures in \(\lambda\)SF-calculus	2018-04-23	Paper
Conflicting accounts of \(\lambda\)-definability	2017-02-22	Paper
Typed self-interpretation by pattern matching	2015-03-05	Paper
A concurrent pattern calculus	2014-09-05	Paper
The polymorphic imperative: a generic approach to in-place update	2013-08-30	Paper
A combinatory account of internal structure	2011-10-10	Paper
Concurrent Pattern Calculus	2010-10-27	Paper
Pattern Calculus	2009-05-27	Paper
First-class patterns	2009-03-25	Paper
Scrap Your Type Applications	2008-08-28	Paper
Programming Languages and Systems	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4537007	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2778824	2002-03-21	Paper
Towards dynamic shaping	2001-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4499224	2001-03-04	Paper
Costing parallel programs as a function of shapes	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4261089	1999-09-21	Paper
Functorial ML	1999-05-03	Paper
Programming in FISh	1999-01-01	Paper
Covariant types	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4362959	1998-02-18	Paper
Finite objects in a locos	1997-04-27	Paper
A semantics for shape	1996-12-12	Paper
The virtues of eta-expansion	1995-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q3138541	1994-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q4282576	1994-03-17	Paper
Tail recursion through universal invariants	1994-01-23	Paper
Coherence in category theory and the Church-Rosser property	1992-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q3978976	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3480252	1990-01-01	Paper
The structure of free closed categories	1990-01-01	Paper
Languages for monoidal categories	1989-01-01	Paper
A note on natural numbers objects in monoidal categories	1989-01-01	Paper
Local adjunctions	1988-01-01	Paper
Lambek's operational categories	1986-01-01	Paper

Research outcomes over time

This page was built for person: Barry Jay