 | 2009 |
|---|
| 30 |       | C. Barry Jay,
Delia Kesner:
First-class patterns.
J. Funct. Program. 19(2): 191-225 (2009) |
| 2007 |
|---|
| 29 |  | Joachim Gudmundsson,
C. Barry Jay:
Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings
Australian Computer Society 2007 |
| 28 | | Joachim Gudmundsson,
C. Barry Jay:
Preface.
Int. J. Found. Comput. Sci. 18(2): 195-196 (2007) |
| 2006 |
|---|
| 27 | | Joachim Gudmundsson,
C. Barry Jay:
Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings
Australian Computer Society 2006 |
| 26 | | Clara Murdaca,
C. Barry Jay:
A relational account of objects.
ACSC 2006: 297-302 |
| 25 | | C. Barry Jay,
Delia Kesner:
Pure Pattern Calculus.
ESOP 2006: 100-114 |
| 2004 |
|---|
| 24 | | C. Barry Jay:
The pattern calculus.
ACM Trans. Program. Lang. Syst. 26(6): 911-937 (2004) |
| 2001 |
|---|
| 23 | | C. Barry Jay:
Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.
TLCA 2001: 217-239 |
| 2000 |
|---|
| 22 | | Brian Lederer,
Valentina Plekhanova,
C. Barry Jay:
Teaching a Capstone Subject in Computing Science -- A Variety Engineering Approach.
ACSC 2000: 136-142 |
| 21 | | C. Barry Jay:
Costing parallel programs as a function of shapes.
Sci. Comput. Program. 37(1-3): 207-224 (2000) |
| 1999 |
|---|
| 20 | | C. Barry Jay:
Partial Evaluation of Shaped Programs: Experience with FISh.
PEPM 1999: 147-158 |
| 19 | | C. Barry Jay:
Denotational Semantics of Shape: Past, Present and Future.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
| 18 | | Eugenio Moggi,
Gianna Bellè,
C. Barry Jay:
Monads, shapely functors, and traversals.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 17 | | C. Barry Jay:
Programming in FISh.
STTT 2(3): 307-315 (1999) |
| 1998 |
|---|
| 16 | | Jens Palsberg,
C. Barry Jay:
The Essence of the Visitor Pattern.
COMPSAC 1998: 9-15 |
| 15 | | C. Barry Jay,
Paul Steckler:
The Functional Imperative: Shape!
ESOP 1998: 139-153 |
| 14 | | C. Barry Jay,
Gianna Bellè,
Eugenio Moggi:
Functorial ML.
J. Funct. Program. 8(6): 573-619 (1998) |
| 1997 |
|---|
| 13 | | C. Barry Jay:
Separating Shape from Data.
Category Theory and Computer Science 1997: 47-48 |
| 12 | | C. Barry Jay,
Murray Cole,
M. Sekanina,
Paul Steckler:
A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.
Euro-Par 1997: 650-661 |
| 11 | | C. Barry Jay:
Covariant Types.
Theor. Comput. Sci. 185(2): 237-258 (1997) |
| 1996 |
|---|
| 10 | | Gianna Bellè,
C. Barry Jay,
Eugenio Moggi:
Functorial ML.
PLILP 1996: 32-46 |
| 9 | | C. Barry Jay:
Shape in Computing.
ACM Comput. Surv. 28(2): 355-357 (1996) |
| 8 | | C. Barry Jay,
John Staples:
Preface: Theoretical Computer Science in Australia and New Zealand.
Theor. Comput. Sci. 169(1): 1 (1996) |
| 1995 |
|---|
| 7 | | C. Barry Jay,
Neil Ghani:
The Virtues of Eta-Expansion.
J. Funct. Program. 5(2): 135-154 (1995) |
| 6 | | C. Barry Jay:
A Semantics for Shape.
Sci. Comput. Program. 25(2-3): 251-283 (1995) |
| 1994 |
|---|
| 5 | | C. Barry Jay,
J. Robin B. Cockett:
Shapely Types and Shape Polymorphism.
ESOP 1994: 302-316 |
| 1993 |
|---|
| 4 | | C. Barry Jay:
Tail Recursion Through Universal Invariants.
Theor. Comput. Sci. 115(1): 151-189 (1993) |
| 1992 |
|---|
| 3 | | Bernhard Steffen,
C. Barry Jay,
Michael Mendler:
Compositional characterization of observable program properties.
ITA 26: 403-424 (1992) |
| 2 | | C. Barry Jay:
Coherence in category theory and the Church-Rosser property.
Notre Dame Journal of Formal Logic 33(1): 140-143 (1992) |
| 1991 |
|---|
| 1 | | C. Barry Jay:
Tail Recursion from Universal Invariants.
Category Theory and Computer Science 1991: 151-163 |
