C. Barry Jay

36 papers A 4B 2C 1Journal 15Unranked 11
YearRankTypeTitle / Venue / Authors
2011 A conf
Typed self-interpretation by pattern matching.
ICFP
C. Barry Jay, Jens Palsberg
2009 J jnl
First-class patterns.
J. Funct. Program.
C. Barry Jay, Delia Kesner
2007 J jnl
Preface.
Int. J. Found. Comput. Sci.
Joachim Gudmundsson, C. Barry Jay
2007 — ed.
Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings
CATS
Joachim Gudmundsson, C. Barry Jay
2006 — conf
A relational account of objects.
ACSC
Clara Murdaca, C. Barry Jay
2006 — conf
Adaptiveness in well-typed Java bytecode verification.
CASCON
Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn
2006 — conf
Programming with heterogeneous structures: manipulating XML data using bondi.
ACSC
Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn
2006 A conf
Pure Pattern Calculus.
ESOP
C. Barry Jay, Delia Kesner
2006 — ed.
Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings
CATS
Joachim Gudmundsson, C. Barry Jay
2004 — conf
The Polymorphic Imperative: a Generic Approach to In-place Update.
CATS
C. Barry Jay, H. Y. Lu, Q. T. Nguyen
2004 J jnl
The pattern calculus.
ACM Trans. Program. Lang. Syst.
C. Barry Jay
2001 — conf
Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.
TLCA
C. Barry Jay
2000 J jnl
Costing parallel programs as a function of shapes.
Sci. Comput. Program.
C. Barry Jay
2000 — conf
Teaching a Capstone Subject in Computing Science -- A Variety Engineering Approach.
ACSC
Brian Lederer, Valentina Plekhanova, C. Barry Jay
1999 B conf
Denotational Semantics of Shape: Past, Present and Future.
MFPS
C. Barry Jay
1999 — conf
Monads, shapely functors, and traversals.
CTCS
Eugenio Moggi, Gianna Bellè, C. Barry Jay
1999 C conf
Partial Evaluation of Shaped Programs: Experience with FISh.
PEPM
C. Barry Jay
1999 J jnl
Programming in FISh.
Int. J. Softw. Tools Technol. Transf.
C. Barry Jay
1999 — ch.
Shaping Distributions.
Research Directions in Parallel Functional Programming
C. Barry Jay
1998 J jnl
Functorial ML.
J. Funct. Program.
C. Barry Jay, Gianna Bellè, Eugenio Moggi
1998 B conf
The Essence of the Visitor Pattern.
COMPSAC
Jens Palsberg, C. Barry Jay
1998 A conf
The Functional Imperative: Shape!
ESOP
C. Barry Jay, Paul Steckler
1997 — conf
A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.
Euro-Par
C. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler
1997 J jnl
Covariant Types.
Theor. Comput. Sci.
C. Barry Jay
1997 — conf
Separating Shape from Data.
Category Theory and Computer Science
C. Barry Jay
1996 — conf
Functorial ML.
PLILP
Gianna Bellè, C. Barry Jay, Eugenio Moggi
1996 J jnl
Preface: Theoretical Computer Science in Australia and New Zealand.
Theor. Comput. Sci.
C. Barry Jay, John Staples
1996 J jnl
Shape in Computing.
ACM Comput. Surv.
C. Barry Jay
1995 J jnl
A Semantics for Shape.
Sci. Comput. Program.
C. Barry Jay
1995 J jnl
The Virtues of Eta-Expansion.
J. Funct. Program.
C. Barry Jay, Neil Ghani
1994 A conf
Shapely Types and Shape Polymorphism.
ESOP
C. Barry Jay, J. Robin B. Cockett
1993 J jnl
Tail Recursion Through Universal Invariants.
Theor. Comput. Sci.
C. Barry Jay
1992 J jnl
Coherence in category theory and the Church-Rosser property.
Notre Dame J. Formal Log.
C. Barry Jay
1992 J jnl
Compositional characterization of observable program properties.
RAIRO Theor. Informatics Appl.
Bernhard Steffen, C. Barry Jay, Michael Mendler
1991 — conf
Tail Recursion from Universal Invariants.
Category Theory and Computer Science
C. Barry Jay
1989 J jnl
A note on natural numbers objects in monoidal categories.
Stud Logica
C. Barry Jay