- Programming the Scientific Method: Since Programming is Applied Science
- The interpretation is designed to be small and easily understood, rather than efficient. For this
- Data Categories and Functors C. Barry Jay \Lambda
- Shape Checking of Array Programs C. Barry Jay and Milan Sekanina
- Shaping ObjectOriented Programs C. Barry Jay and James Noble 1
- The Polymorphic Imperative C. B. Jay, H. Y. Lu, and Q.T. Nguyen
- Pattern Calculus Talk given to FPSyd
- The Pattern Calculus C. BARRY JAY
- Pattern Calculus computing with functions and structures
- Partial Functions, Ordered Categories, Limits and Cartesian Closure
- Programming with Heterogeneous Structures: Manipulating XML data using bondi
- 9 Acknowledgements I would like to thank Robin Cockett and Daniel Mahler for fruitful discussions.
- A Semantics for Shape C. Barry Jay \Lambda
- Tutorial for the FiSh Language Brian Molinari
- Polymorphic pattern calculus University of Technology, Sydney
- A Combinatory Account of Internal Structure Barry Jay and Thomas Given-Wilson
- Compositional Characterization of Observable Program Properties
- The Essence of the Visitor Pattern Jens Palsberg 1 C. Barry Jay 2
- Generic Queries Pattern Calculus
- Functorial LambdaCalculus School of Computing Sciences,
- Methods as patternmatching functions C. BARRY JAY
- The FISh language definition School of Computing Sciences,
- Costing parallel programs as a function of shapes C. Barry Jay
- The Constructor Calculus C. BARRY JAY
- Typing first-class patterns University of Technology, Sydney
- Typefree term reduction for covariant types C. Barry Jay \Lambda
- Functors, Types and Shapes SOCS Univ. of Tech. Sydney, Australia
- Tail Recursion Through Universal Invariants C. Barry Jay \Lambda
- An Introduction to Categories in Computing
- Matrices, Monads and the Fast Fourier Transform C. Barry Jay \Lambda
- Shape Analysis for Parallel Computing C. Barry Jay \Lambda
- The Pattern Calculus C. BARRY JAY
- Pure pattern calculus and Delia Kesner2
- Multi-polymorphic programming in bondi (extended version)
- Objects not Subjects! University of Technology, Sydney
- How to reject a paper you don't like but don't know why
- IT Research Methods : Editing University of Technology, Sydney
- Type variables simplify sub-typing University of Technology, Sydney
- A Fresh Look at Parametric Polymorphism: Covariant Types C. Barry Jay
- Covariant Types C. Barry Jay
- Functorial ML G. Bell`e 2 , C.B. Jay 1 and E. Moggi 2
- L o n g fi j N o r m a l F o r m s a n d C o n fl u e n c e ( r e v i s e d ) C. Barry Jay \Lambda
- Constructing Abstract Data Types C. Barry Jay
- Distinguishing Data Structures and Functions: the Constructor Calculus
- A COMBINATORY ACCOUNT OF INTERNAL STRUCTURE BARRY JAY AND THOMAS GIVEN-WILSON
- Partial evaluation of shaped programs: experience with FISh
- Unifiable Subtyping C. Barry Jay
- Generic structural induction University of Technology, Sydney
- Pattern Calculus Computing with Functions and
- Partial evaluation of shaped programs: experience with FISh
- Formal properties of shape analysis in FISh School of Computing Sciences,
- Modelling Reduction in Confluent C. Barry Jay \Lambda
- Costing parallel programs as a function of shapes C. Barry Jay
- Separating Shape from Data School of Computing Sciences, University of Technology, Sydney,
- ITRM Discovery Stream Lecture 4 Technical Writing
- Pattern Calculus Computing with Functions and Structures
- Monads, Shapely Functors and Traversals E. Moggi 1 , G. Bell`e 1 , C.B. Jay 2
- Polydimensional Array Programming School of Computing Sciences, University of Technology, Sydney, P.O.
- Polydimensional regular arrays in FISh School of Computing Sciences, University of Technology, Sydney,
- The Functional Imperative: Shape! C.B. Jay P.A. Steckler
- Covariant Types C. Barry Jay \Lambda
- Experiments with Generic Visitors Jens Palsberg 1 C. Barry Jay 2 J. Noble 3
- Costing parallel programs as a function of shapes C. Barry Jay
- The pattern calculus University of Technology, Sydney
- Higher-Order Patterns C. Barry Jay
- Shape in Computing C. Barry Jay \Lambda
- 8 Related and Further Work Banger and Skillicorn [BS93] give a categorical semantics for arrays, which are
- Polymorphism over nested regular arrays: theory and implementation in FISh
- Data Categories C. Barry Jay
- Pattern Matching against functions October 11, 2005
- How to reject a paper you don't like but don't know why
- Personal Details . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Full name Colin Barry Jay Phone (02) 95141814
- To appear in EPTCS. Growing a Language in Pattern Calculus
- Dynamic Patterns Compute with Unknowns University of Technology, Sydney
- DRAFT--Do not distribute Growing a Language in Pattern Calculus
- Typed Self-Interpretation by Pattern Matching University of Technology, Sydney
- Typed Self-Interpretation by Pattern Matching Barry Jay and Jens Palsberg
