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
1451995
The virtues of eta-expansion
CB Jay, N Ghani
Journal of functional programming 5 (2), 135-154, 1995
1331995
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
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
701998
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
551998
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
431989
A combinatory account of internal structure
B Jay, T Given-Wilson
The Journal of Symbolic Logic 76 (3), 807-826, 2011
352011
Costing parallel programs as a function of shapes
CB Jay
Science of Computer Programming 37 (1-3), 207-224, 2000
342000
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
Local adjunctions
CB Jay
Journal of Pure and Applied Algebra 53 (3), 227-238, 1988
301988
Modelling Reduction in Confluent Categories
CB Jay
Applications of Categories in Computer Science: Proceedings of the London …, 1992
281992
Concurrent pattern calculus
T Given-Wilson, D Gorla, B Jay
IFIP International Conference on Theoretical Computer Science, 244-258, 2010
262010
The FISh language definition
CB Jay
School of Computing Sciences, University of Technology, Sydney, PO Box 123, 1998
261998
The system can't perform the operation now. Try again later.
Articles 1–20