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 |