BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jay:C=_Barry

Contributed to:

ICFP 20112011
ESOP 20062006
TLCA 20012001
PEPM 19991999
ESOP 19981998
PLILP 19961996
ESOP 19941994
ESOP 19941995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.