C. Barry Jay

According to our database, C. Barry Jay authored at least 33 papers between 1989 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

Typed self-interpretation by pattern matching.

C. Barry Jay, Jens Palsberg

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2009

First-class patterns.

C. Barry Jay, Delia Kesner

J. Funct. Program., 2009

2007

Preface.

Joachim Gudmundsson, C. Barry Jay

Int. J. Found. Comput. Sci., 2007

2006

Pure Pattern Calculus.

C. Barry Jay, Delia Kesner

Proceedings of the Programming Languages and Systems, 2006

Adaptiveness in well-typed Java bytecode verification.

Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn

Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

A relational account of objects.

Clara Murdaca, C. Barry Jay

Proceedings of the Computer Science 2006, 2006

Programming with heterogeneous structures: manipulating XML data using bondi.

Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn

Proceedings of the Computer Science 2006, 2006

2004

The pattern calculus.

C. Barry Jay

ACM Trans. Program. Lang. Syst., 2004

The Polymorphic Imperative: a Generic Approach to In-place Update.

C. Barry Jay, H. Y. Lu, Q. T. Nguyen

Proceedings of Computing: The Australasian Theory Symposium, 2004

2001

Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types.

C. Barry Jay

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

Costing parallel programs as a function of shapes.

C. Barry Jay

Sci. Comput. Program., 2000

Teaching a Capstone Subject in Computing Science -- A Variety Engineering Approach.

Brian Lederer, Valentina Plekhanova, C. Barry Jay

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999

Monads, shapely functors, and traversals.

Eugenio Moggi, Gianna Bellè, C. Barry Jay

Proceedings of the Conference on Category Theory and Computer Science, 1999

Programming in FISh.

C. Barry Jay

Int. J. Softw. Tools Technol. Transf., 1999

Denotational Semantics of Shape: Past, Present and Future.

C. Barry Jay

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Partial Evaluation of Shaped Programs: Experience with FISh.

C. Barry Jay

Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999

Shaping Distributions.

C. Barry Jay

Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998

Functorial ML.

C. Barry Jay, Gianna Bellè, Eugenio Moggi

J. Funct. Program., 1998

The Functional Imperative: Shape!

C. Barry Jay, Paul Steckler

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

The Essence of the Visitor Pattern.

Jens Palsberg, C. Barry Jay

Proceedings of the COMPSAC '98, 1998

1997

Covariant Types.

C. Barry Jay

Theor. Comput. Sci., 1997

A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.

C. Barry Jay, Murray Cole, M. Sekanina, Paul Steckler

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Separating Shape from Data.

C. Barry Jay

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Preface: Theoretical Computer Science in Australia and New Zealand.

C. Barry Jay, John Staples

Theor. Comput. Sci., 1996

Shape in Computing.

C. Barry Jay

ACM Comput. Surv., 1996

1995

A Semantics for Shape.

C. Barry Jay

Sci. Comput. Program., 1995

The Virtues of Eta-Expansion.

C. Barry Jay, Neil Ghani

J. Funct. Program., 1995

1994

Shapely Types and Shape Polymorphism.

C. Barry Jay, J. Robin B. Cockett

Proceedings of the Programming Languages and Systems, 1994

1993

Tail Recursion Through Universal Invariants.

C. Barry Jay

Theor. Comput. Sci., 1993

1992

Coherence in category theory and the Church-Rosser property.

C. Barry Jay

Notre Dame J. Formal Log., 1992

Compositional characterization of observable program properties.

Bernhard Steffen, C. Barry Jay, Michael Mendler

RAIRO Theor. Informatics Appl., 1992

1991

Tail Recursion from Universal Invariants.

C. Barry Jay

Proceedings of the Category Theory and Computer Science, 1991

1989

A note on natural numbers objects in monoidal categories.

C. Barry Jay

Stud Logica, 1989