Follow
Barry Jay
Barry Jay
Verified email at uts.edu.au - Homepage
Title
Cited by
Cited by
Year
The essence of the visitor pattern
J Palsberg, CB Jay
Proceedings. The Twenty-Second Annual International Computer Software and …, 1998
2791998
A semantics for shape
CB Jay
Science of computer programming 25 (2-3), 251-283, 1995
1461995
The virtues of eta-expansion
CB Jay, N Ghani
Journal of functional programming 5 (2), 135-154, 1995
1381995
Shapely types and shape polymorphism
CB Jay, JRB Cockett
European Symposium on Programming, 302-316, 1994
1101994
The pattern calculus
CB Jay
ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (6), 911-937, 2004
912004
First-class patterns
B Jay, D Kesner
Journal of Functional Programming 19 (2), 191-225, 2009
802009
The functional imperative: shape!
CB Jay, PA Steckler
European Symposium on Programming, 139-153, 1998
711998
A monadic calculus for parallel costing of a functional language of arrays
CB Jay, MI Cole, M Sekanina, P Steckler
Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997
621997
Functorial ml
CB Jay, G Belle, E Moggi
Journal of functional programming 8 (6), 573-619, 1998
561998
Shape checking of array programs
CB Jay, M Sekanina
Technical Report 96.09, University of Technology, Sydney, Australia, 1996
501996
Languages for monoidal categories
CB Jay
Journal of Pure and Applied Algebra 59 (1), 61-85, 1989
441989
A combinatory account of internal structure
B Jay, T Given-Wilson
The Journal of Symbolic Logic 76 (3), 807-826, 2011
362011
Costing parallel programs as a function of shapes
CB Jay
Science of Computer Programming 37 (1-3), 207-224, 2000
352000
Matrices, monads and the fast fourier transform
CB Jay
Key Centre for Advanced Computing Sciences, University of Technology, Sydney, 1993
321993
Distinguishing data structures and functions: the constructor calculus and functorial types
C Barry Jay
International Conference on Typed Lambda Calculi and Applications, 217-239, 2001
302001
Modelling Reduction in Confluent Categories
CB Jay
Applications of Categories in Computer Science: Proceedings of the London …, 1992
281992
Local adjunctions
CB Jay
Journal of Pure and Applied Algebra 53 (3), 227-238, 1988
281988
The FISh language definition
CB Jay
School of Computing Sciences, University of Technology, Sydney, PO Box 123, 1998
271998
Concurrent pattern calculus
T Given-Wilson, D Gorla, B Jay
IFIP International Conference on Theoretical Computer Science, 244-258, 2010
252010
Functorial ml
G Bellè, CB Jay, E Moggi
International Symposium on Programming Language Implementation and Logic …, 1996
251996
The system can't perform the operation now. Try again later.
Articles 1–20