| The essence of the visitor pattern J Palsberg, CB Jay Proceedings. The Twenty-Second Annual International Computer Software and …, 1998 | 280 | 1998 |
| A semantics for shape CB Jay Science of computer programming 25 (2-3), 251-283, 1995 | 147 | 1995 |
| The virtues of eta-expansion CB Jay, N Ghani Journal of functional programming 5 (2), 135-154, 1995 | 137 | 1995 |
| Shapely types and shape polymorphism CB Jay, JRB Cockett European Symposium on Programming, 302-316, 1994 | 108 | 1994 |
| The pattern calculus CB Jay ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (6), 911-937, 2004 | 91 | 2004 |
| First-class patterns B Jay, D Kesner Journal of Functional Programming 19 (2), 191-225, 2009 | 81 | 2009 |
| The functional imperative: shape! CB Jay, PA Steckler European Symposium on Programming, 139-153, 1998 | 71 | 1998 |
| 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 | 62 | 1997 |
| Functorial ml CB Jay, G Belle, E Moggi Journal of functional programming 8 (6), 573-619, 1998 | 57 | 1998 |
| Shape checking of array programs CB Jay, M Sekanina Technical Report 96.09, University of Technology, Sydney, Australia, 1996 | 52 | 1996 |
| Languages for monoidal categories CB Jay Journal of Pure and Applied Algebra 59 (1), 61-85, 1989 | 44 | 1989 |
| A combinatory account of internal structure B Jay, T Given-Wilson The Journal of Symbolic Logic 76 (3), 807-826, 2011 | 36 | 2011 |
| Costing parallel programs as a function of shapes CB Jay Science of Computer Programming 37 (1-3), 207-224, 2000 | 35 | 2000 |
| Matrices, monads and the fast fourier transform CB Jay Key Centre for Advanced Computing Sciences, University of Technology, Sydney, 1993 | 32 | 1993 |
| 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 | 30 | 2001 |
| The FISh language definition CB Jay School of Computing Sciences, University of Technology, Sydney, PO Box 123, 1998 | 27 | 1998 |
| Local adjunctions CB Jay Journal of Pure and Applied Algebra 53 (3), 227-238, 1988 | 27 | 1988 |
| Polynomial polymorphism C Barry Jay AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS 17, 237-243, 1995 | 26 | 1995 |
| Modelling reduction in confluent categories CB Jay Proceedings of the Durham Symposium on Applications of Categories in …, 1992 | 26 | 1992 |
| Concurrent pattern calculus T Given-Wilson, D Gorla, B Jay IFIP International Conference on Theoretical Computer Science, 244-258, 2010 | 25 | 2010 |
