Travelled to:1 × Austria
1 × Germany
1 × Japan
1 × Poland
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:∅ J.Palsberg D.Kesner P.Steckler J.R.B.Cockett G.Bellè E.Moggi
Talks about:shape (5) type (3) functori (2) function (2) calculus (2) pattern (2) distinguish (1) constructor (1) polymorph (1) interpret (1)
Person: C. Barry Jay
DBLP: Jay:C=_Barry
Contributed to:
2011
2006
2001
19991998
199619941995Wrote 8 papers:
- ICFP-2011-JayP #pattern matching #self
- Typed self-interpretation by pattern matching (CBJ, JP), pp. 247–258.
- ESOP-2006-JayK #calculus
- Pure Pattern Calculus (CBJ, DK), pp. 100–114.
- TLCA-2001-Jay #calculus #data type
- Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types (CBJ), pp. 217–239.
- PEPM-1999-Jay #experience #partial evaluation #source code
- Partial Evaluation of Shaped Programs: Experience with FISh (CBJ), pp. 147–158.
- ESOP-1998-JayS #exclamation #functional #imperative
- The Functional Imperative: Shape! (CBJ, PS), pp. 139–153.
- PLILP-1996-BelleJM #ml
- Functorial ML (GB, CBJ, EM), pp. 32–46.
- ESOP-1994-JayC #morphism #polymorphism
- Shapely Types and Shape Polymorphism (CBJ, JRBC), pp. 302–316.
- ESOP-J-1994-Jay95 #semantics
- A Semantics for Shape (CBJ), pp. 251–283.