default search action
C. Barry Jay
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [c18]C. Barry Jay, Jens Palsberg:
Typed self-interpretation by pattern matching. ICFP 2011: 247-258
2000 – 2009
- 2009
- [j15]C. Barry Jay, Delia Kesner:
First-class patterns. J. Funct. Program. 19(2): 191-225 (2009) - 2007
- [j14]Joachim Gudmundsson
, C. Barry Jay:
Preface. Int. J. Found. Comput. Sci. 18(2): 195-196 (2007) - [e2]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. CRPIT 65, Australian Computer Society 2007, ISBN 1-920-68246-5 [contents] - 2006
- [c17]Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn:
Programming with heterogeneous structures: manipulating XML data using bondi. ACSC 2006: 287-295 - [c16]Clara Murdaca, C. Barry Jay:
A relational account of objects. ACSC 2006: 297-302 - [c15]Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn
Adaptiveness in well-typed Java bytecode verification. CASCON 2006: 248-262 - [c14]C. Barry Jay, Delia Kesner:
Pure Pattern Calculus. ESOP 2006: 100-114 - [e1]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. CRPIT 51, Australian Computer Society 2006, ISBN 1-920682-33-3 [contents] - 2004
- [j13]C. Barry Jay:
The pattern calculus. ACM Trans. Program. Lang. Syst. 26(6): 911-937 (2004) - [c13]C. Barry Jay, H. Y. Lu, Q. T. Nguyen:
The Polymorphic Imperative: a Generic Approach to In-place Update. CATS 2004: 195-211 - 2001
- [c12]C. Barry Jay:
Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types. TLCA 2001: 217-239 - 2000
- [j12]C. Barry Jay:
Costing parallel programs as a function of shapes. Sci. Comput. Program. 37(1-3): 207-224 (2000) - [c11]Brian Lederer, Valentina Plekhanova, C. Barry Jay:
Teaching a Capstone Subject in Computing Science -- A Variety Engineering Approach. ACSC 2000: 136-142
1990 – 1999
- 1999
- [j11]C. Barry Jay:
Programming in FISh. Int. J. Softw. Tools Technol. Transf. 2(3): 307-315 (1999) - [c10]C. Barry Jay:
Partial Evaluation of Shaped Programs: Experience with FISh. PEPM 1999: 147-158 - [c9]C. Barry Jay:
Denotational Semantics of Shape: Past, Present and Future. MFPS 1999: 320-333 - [c8]Eugenio Moggi
Monads, shapely functors, and traversals. CTCS 1999: 187-208 - [p1]C. Barry Jay:
Shaping Distributions. Research Directions in Parallel Functional Programming 1999: 219-232 - 1998
- [j10]C. Barry Jay, Gianna Bellè, Eugenio Moggi
Functorial ML. J. Funct. Program. 8(6): 573-619 (1998) - [c7]Jens Palsberg, C. Barry Jay:
The Essence of the Visitor Pattern. COMPSAC 1998: 9-15 - [c6]C. Barry Jay, Paul Steckler:
The Functional Imperative: Shape! ESOP 1998: 139-153 - 1997
- [j9]C. Barry Jay:
Covariant Types. Theor. Comput. Sci. 185(2): 237-258 (1997) - [c5]C. Barry Jay:
Separating Shape from Data. Category Theory and Computer Science 1997: 47-48 - [c4]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
- [j8]C. Barry Jay:
Shape in Computing. ACM Comput. Surv. 28(2): 355-357 (1996) - [j7]C. Barry Jay, John Staples:
Preface: Theoretical Computer Science in Australia and New Zealand. Theor. Comput. Sci. 169(1): 1 (1996) - [c3]Gianna Bellè, C. Barry Jay, Eugenio Moggi
Functorial ML. PLILP 1996: 32-46 - 1995
- [j6]C. Barry Jay, Neil Ghani:
The Virtues of Eta-Expansion. J. Funct. Program. 5(2): 135-154 (1995) - [j5]C. Barry Jay:
A Semantics for Shape. Sci. Comput. Program. 25(2-3): 251-283 (1995) - 1994
- [c2]C. Barry Jay, J. Robin B. Cockett:
Shapely Types and Shape Polymorphism. ESOP 1994: 302-316 - 1993
- [j4]C. Barry Jay:
Tail Recursion Through Universal Invariants. Theor. Comput. Sci. 115(1): 151-189 (1993) - 1992
- [j3]Bernhard Steffen, C. Barry Jay, Michael Mendler:
Compositional characterization of observable program properties. RAIRO Theor. Informatics Appl. 26: 403-424 (1992) - [j2]C. Barry Jay:
Coherence in category theory and the Church-Rosser property. Notre Dame J. Formal Log. 33(1): 140-143 (1992) - 1991
- [c1]C. Barry Jay:
Tail Recursion from Universal Invariants. Category Theory and Computer Science 1991: 151-163
1980 – 1989
- 1989
- [j1]C. Barry Jay:
A note on natural numbers objects in monoidal categories. Stud Logica 48(3): 389-393 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: