×
Compute Distance To:
Author ID: jay.c-barry Recent zbMATH articles by "Jay, C. Barry"
Published as: Jay, C. Barry; Jay, Barry; Jay, C. B.
Homepage: https://www.uts.edu.au/staff/barry.jay
Documents Indexed: 38 Publications since 1986, including 1 Book
2 Contributions as Editor
Reviewing Activity: 3 Reviews
Co-Authors: 15 Co-Authors with 15 Joint Publications
348 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 136 times in 92 Documents Cited by Year
Languages for monoidal categories. Zbl 0693.18003
Jay, C. Barry
16
1989
The virtues of eta-expansion. Zbl 0833.68072
Jay, C. Barry; Ghani, Neil
16
1995
Pattern calculus. Computing with functions and structures. Zbl 1215.68055
Jay, Barry
14
2009
First-class patterns. Zbl 1163.68315
Jay, Barry; Kesner, Delia
12
2009
Pure pattern calculus. Zbl 1178.03039
Jay, Barry; Kesner, Delia
12
2006
A semantics for shape. Zbl 0853.68119
Jay, C. Barry
9
1995
A combinatory account of internal structure. Zbl 1248.03025
Given-Wilson, Thomas; Jay, Barry
9
2011
The structure of free closed categories. Zbl 0727.18002
Jay, C. Barry
7
1990
Concurrent pattern calculus. Zbl 1198.68211
Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry
4
2010
Typed self-interpretation by pattern matching. Zbl 1323.68124
Jay, Barry; Palsberg, Jens
4
2011
Local adjunctions. Zbl 0673.18006
Jay, C. Barry
4
1988
Modelling reduction in confluent categories. Zbl 0784.68048
Jay, C. Barry
3
1992
Monads, shapely functors and traversals. Zbl 0967.68038
Moggi, E.; Bellè, G.; Jay, C. B.
3
1999
A concurrent pattern calculus. Zbl 1338.68202
Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry
3
2014
A note on natural numbers objects in monoidal categories. Zbl 0713.18005
Jay, C. Barry
3
1989
A monadic calculus for parallel costing of a functional language of arrays. Zbl 0996.68836
Jay, C. B.; Cole, M. I.; Sekanina, M.; Steckler, P.
2
1997
Costing parallel programs as a function of shapes. Zbl 0954.68043
Jay, C. Barry
2
2000
Conflicting accounts of \(\lambda\)-definability. Zbl 1403.03020
Jay, Barry; Vergara, Jose
2
2017
Distinguishing data structures and functions: the constructor calculus and functorial types. Zbl 0981.68027
Jay, C. Barry
2
2001
Functorial ML. Zbl 0928.68017
Jay, C. B.; Bellè, G.; Moggi, E.
2
1998
Programs as data structures in \(\lambda\)SF-calculus. Zbl 1394.68064
Jay, Barry
2
2016
Lambek’s operational categories. Zbl 0571.18003
Jay, C. B.
1
1986
Tail recursion through universal invariants. Zbl 0779.68057
Jay, C. Barry
1
1993
Fixpoint and loop constructions as colimits. Zbl 0736.18003
Jay, C. Barry
1
1991
Tail recursion from universal invariants. Zbl 0792.68093
Jay, C. Barry
1
1991
Languages for triples. Bicategories and braided monoidal categories. Zbl 0702.18005
Jay, C. Barry
1
1990
Conflicting accounts of \(\lambda\)-definability. Zbl 1403.03020
Jay, Barry; Vergara, Jose
2
2017
Programs as data structures in \(\lambda\)SF-calculus. Zbl 1394.68064
Jay, Barry
2
2016
A concurrent pattern calculus. Zbl 1338.68202
Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry
3
2014
A combinatory account of internal structure. Zbl 1248.03025
Given-Wilson, Thomas; Jay, Barry
9
2011
Typed self-interpretation by pattern matching. Zbl 1323.68124
Jay, Barry; Palsberg, Jens
4
2011
Concurrent pattern calculus. Zbl 1198.68211
Given-Wilson, Thomas; Gorla, Daniele; Jay, Barry
4
2010
Pattern calculus. Computing with functions and structures. Zbl 1215.68055
Jay, Barry
14
2009
First-class patterns. Zbl 1163.68315
Jay, Barry; Kesner, Delia
12
2009
Pure pattern calculus. Zbl 1178.03039
Jay, Barry; Kesner, Delia
12
2006
Distinguishing data structures and functions: the constructor calculus and functorial types. Zbl 0981.68027
Jay, C. Barry
2
2001
Costing parallel programs as a function of shapes. Zbl 0954.68043
Jay, C. Barry
2
2000
Monads, shapely functors and traversals. Zbl 0967.68038
Moggi, E.; Bellè, G.; Jay, C. B.
3
1999
Functorial ML. Zbl 0928.68017
Jay, C. B.; Bellè, G.; Moggi, E.
2
1998
A monadic calculus for parallel costing of a functional language of arrays. Zbl 0996.68836
Jay, C. B.; Cole, M. I.; Sekanina, M.; Steckler, P.
2
1997
The virtues of eta-expansion. Zbl 0833.68072
Jay, C. Barry; Ghani, Neil
16
1995
A semantics for shape. Zbl 0853.68119
Jay, C. Barry
9
1995
Tail recursion through universal invariants. Zbl 0779.68057
Jay, C. Barry
1
1993
Modelling reduction in confluent categories. Zbl 0784.68048
Jay, C. Barry
3
1992
Fixpoint and loop constructions as colimits. Zbl 0736.18003
Jay, C. Barry
1
1991
Tail recursion from universal invariants. Zbl 0792.68093
Jay, C. Barry
1
1991
The structure of free closed categories. Zbl 0727.18002
Jay, C. Barry
7
1990
Languages for triples. Bicategories and braided monoidal categories. Zbl 0702.18005
Jay, C. Barry
1
1990
Languages for monoidal categories. Zbl 0693.18003
Jay, C. Barry
16
1989
A note on natural numbers objects in monoidal categories. Zbl 0713.18005
Jay, C. Barry
3
1989
Local adjunctions. Zbl 0673.18006
Jay, C. Barry
4
1988
Lambek’s operational categories. Zbl 0571.18003
Jay, C. B.
1
1986
all top 5

Cited by 121 Authors

15 Jay, C. Barry
8 Kesner, Delia
6 Di Cosmo, Roberto
4 Bonelli, Eduardo
4 Viso, Andrés
3 De Nicola, Rocco
3 Ghani, Neil
3 Given-Wilson, Thomas
3 Mackie, Ian
2 Alrahman, Yehia Abd
2 Ayala-Rincón, Mauricio
2 Barr, Michael
2 Blute, Richard F.
2 Cockett, J. Robin B.
2 Edi, Juan
2 Fernández, Maribel
2 Fiore, Marcelo P.
2 Intrigila, Benedetto
2 Legay, Axel
2 Loreti, Michele
2 Manzonetto, Giulio
2 Petit, Barbara
2 Polonsky, Andrew
2 Pugliese, Rosario
2 Pym, David J.
2 Ríos, Alejandro
2 Ritter, Eike
2 Smith, Jonathan Dallas Hayden
2 Solov’ëv, Sergeĭ Vladimirovich
2 Tiezzi, Francesco
2 Voigtlander, Janis
1 Abel, Andreas M.
1 Abramsky, Samson
1 Akama, Yohji
1 Altenkirch, Thorsten
1 Backhouse, Roland C.
1 Blanqui, Frédéric
1 Böhm, Gabriella
1 Bourreau, Pierre
1 Bucciarelli, Antonio
1 Cabrera, Benjamin
1 Caldwell, James L.
1 Carboni, Aurelio
1 Chapman, James T. E.
1 Cirstea, Horatiu
1 Coccia, Matteo
1 Cole, Murray
1 Cristescu, Ioana Domnina
1 Čubrić, Djordje
1 Curien, Pierre-Louis
1 de Vrijer, Roel
1 Devesas Campos, Marco
1 Farmer, William M.
1 Faure, Germain
1 Ferrari, Gian Luigi
1 Forest, Julien
1 Gabbay, Michael J.
1 Gabbay, Murdoch James
1 Gadducci, Fabio
1 Gambino, Nicola
1 Gibbons, Jeremy
1 Hains, Gaétan
1 Harper, Robert
1 Hasegawa, Ryu
1 Hayashi, Yasushi
1 He, Jifeng
1 Heckel, Reiko
1 Heindel, Tobias
1 Heyworth, Anne
1 Hoare, C. A. R. Tony
1 Hofstra, Pieter J. W.
1 Hoogendijk, Paul Ferenc
1 Hu, Zhenjiang
1 Im, Bokhee
1 Jaskelioff, Mauro
1 Kelly, Gregory Maxwell
1 Klop, Jan Willem
1 Kock, Joachim
1 König, Barbara
1 Lamarche, François
1 Lambek, Joachim
1 Li, Zheng
1 Licata, Daniel R.
1 Lombardi, Carlos
1 Loulergue, Frédéric
1 Manes, Ernie G.
1 Martin, Alexis
1 Matsuda, Kazutaka
1 Matthes, Ralph
1 Mendler, Michael
1 Moggi, Eugenio
1 Montanari, Ugo G.
1 Mullins, John
1 Naumann, David A.
1 Nowak, Alex W.
1 O’Connor, Russell
1 Oliveira, Bruno C.d. S.
1 Orchard, Dominic A.
1 Orevkov, Vladimir
1 Pastro, Craig
...and 21 more Authors

Citations by Year