Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

C. Barry Jay

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[c13]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/JayP11
- ask others
C. Barry Jay, Jens Palsberg: Typed self-interpretation by pattern matching. ICFP 2011: 247-258

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/JayK09
- ask others
C. Barry Jay, Delia Kesner: First-class patterns. J. Funct. Program. 19(2): 191-225 (2009)
2007
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijfcs/GudmundssonJ07
- ask others
Joachim Gudmundsson, C. Barry Jay: Preface. Int. J. Found. Comput. Sci. 18(2): 195-196 (2007)
[e2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cats/2007
- ask others
Joachim Gudmundsson, C. Barry Jay (Eds.): Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings. CRPIT 65, Australian Computer Society 2007, ISBN 1-920-68246-5
2006
[c12]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acsc/MurdacaJ06
- ask others
Clara Murdaca, C. Barry Jay: A relational account of objects. ACSC 2006: 297-302
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/JayK06
- ask others
C. Barry Jay, Delia Kesner: Pure Pattern Calculus. ESOP 2006: 100-114
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cats/2006
- ask others
Joachim Gudmundsson, C. Barry Jay (Eds.): Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings. CRPIT 51, Australian Computer Society 2006, ISBN 1-920682-33-3
2004
[j14]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Jay04
- ask others
C. Barry Jay: The pattern calculus. ACM Trans. Program. Lang. Syst. 26(6): 911-937 (2004)
2001
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/Jay01
- ask others
C. Barry Jay: Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types. TLCA 2001: 217-239
2000
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/Jay00
- ask others
C. Barry Jay: Costing parallel programs as a function of shapes. Sci. Comput. Program. 37(1-3): 207-224 (2000)
[c9]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acsc/LedererPJ00
- ask others
Brian Lederer, Valentina Plekhanova, C. Barry Jay: Teaching a Capstone Subject in Computing Science -- A Variety Engineering Approach. ACSC 2000: 136-142

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Jay99
- ask others
C. Barry Jay: Denotational Semantics of Shape: Past, Present and Future. Electr. Notes Theor. Comput. Sci. 20: 320-333 (1999)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/Jay99
- ask others
C. Barry Jay: Programming in FISh. STTT 2(3): 307-315 (1999)
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/MoggiBJ99
- ask others
Eugenio Moggi, Gianna Bellè, C. Barry Jay: Monads, shapely functors, and traversals. Electr. Notes Theor. Comput. Sci. 29: 187-208 (1999)
[c8]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pepm/Jay99
- ask others
C. Barry Jay: Partial Evaluation of Shaped Programs: Experience with FISh. PEPM 1999: 147-158
1998
[j9]
- view
  - electronic edition @ cambridge.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/JayBM98
- ask others
C. Barry Jay, Gianna Bellè, Eugenio Moggi: Functorial ML. J. Funct. Program. 8(6): 573-619 (1998)
[c7]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/compsac/PalsbergJ98
- ask others
Jens Palsberg, C. Barry Jay: The Essence of the Visitor Pattern. COMPSAC 1998: 9-15
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/JayS98
- ask others
C. Barry Jay, Paul Steckler: The Functional Imperative: Shape! ESOP 1998: 139-153
1997
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Jay97
- ask others
C. Barry Jay: Covariant Types. Theor. Comput. Sci. 185(2): 237-258 (1997)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ctcs/Jay97
- ask others
C. Barry Jay: Separating Shape from Data. Category Theory and Computer Science 1997: 47-48
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/europar/JayCSS97
- ask others
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
1996
[j7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/csur/Jay96
- ask others
C. Barry Jay: Shape in Computing. ACM Comput. Surv. 28(2): 355-357 (1996)
[j6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/JayS96
- ask others
C. Barry Jay, John Staples: Preface: Theoretical Computer Science in Australia and New Zealand. Theor. Comput. Sci. 169(1): 1 (1996)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/plilp/BelleJM96
- ask others
Gianna Bellè, C. Barry Jay, Eugenio Moggi: Functorial ML. PLILP 1996: 32-46
1995
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/JayG95
- ask others
C. Barry Jay, Neil Ghani: The Virtues of Eta-Expansion. J. Funct. Program. 5(2): 135-154 (1995)
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/Jay95
- ask others
C. Barry Jay: A Semantics for Shape. Sci. Comput. Program. 25(2-3): 251-283 (1995)
1994
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/JayC94
- ask others
C. Barry Jay, J. Robin B. Cockett: Shapely Types and Shape Polymorphism. ESOP 1994: 302-316
1993
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Jay93
- ask others
C. Barry Jay: Tail Recursion Through Universal Invariants. Theor. Comput. Sci. 115(1): 151-189 (1993)
1992
[j2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ita/SteffenJM92
- ask others
Bernhard Steffen, C. Barry Jay, Michael Mendler: Compositional characterization of observable program properties. ITA 26: 403-424 (1992)
[j1]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ndjfl/Jay92
- ask others
C. Barry Jay: Coherence in category theory and the Church-Rosser property. Notre Dame Journal of Formal Logic 33(1): 140-143 (1992)
1991
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ctcs/Jay91
- ask others
C. Barry Jay: Tail Recursion from Universal Invariants. Category Theory and Computer Science 1991: 151-163