C. Barry Jay Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Gianna Bellè [10] [14] [18]
2J. Robin B. Cockett [5]
3Murray Cole [12]
4Neil Ghani [7]
5Joachim Gudmundsson [27] [28] [29]
6Delia Kesner [25] [30]
7Brian Lederer [22]
8Michael Mendler [3]
9Eugenio Moggi [10] [14] [18]
10Clara Murdaca [26]
11Jens Palsberg [16]
12Valentina Plekhanova [22]
13M. Sekanina [12]
14John Staples [8]
15Paul Steckler [12] [15]
16Bernhard Steffen [3]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)