Barry Jay
Barry Jay
Associate Professor, University of Technology Sydney
E-mail confirmado em uts.edu.au
TítuloCitado porAno
The essence of the visitor pattern
J Palsberg, CB Jay
Proceedings. The Twenty-Second Annual International Computer Software and …, 1998
2351998
A semantics for shape
CB Jay
Science of computer programming 25 (2-3), 251-283, 1995
1401995
The virtues of eta-expansion
CB Jay, N Ghani
Journal of functional programming 5 (2), 135-154, 1995
1061995
Shapely types and shape polymorphism
CB Jay, JRB Cockett
European Symposium on Programming, 302-316, 1994
951994
The pattern calculus
CB Jay
ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (6), 911-937, 2004
802004
Pure pattern calculus
B Jay, D Kesner
European Symposium on Programming, 100-114, 2006
782006
First-class patterns
B Jay, D Kesner
Journal of Functional Programming 19 (2), 191-225, 2009
662009
Pattern Calculus: Computing with Functions and Structures
B Jay
Springer Science & Business Media, 2009
642009
The functional imperative: shape!
CB Jay, PA Steckler
European Symposium on Programming, 139-153, 1998
611998
A monadic calculus for parallel costing of a functional language of arrays
CB Jay, MI Cole, M Sekanina, P Steckler
European Conference on Parallel Processing, 650-661, 1997
611997
Functorial ml
CB Jay, G Belle, E Moggi
Journal of functional programming 8 (6), 573-619, 1998
541998
Shape checking of array programs
CB Jay, M Sekanina
Technical Report 96.09, University of Technology, Sydney, Australia, 1996
411996
Languages for monoidal categories
CB Jay
Journal of Pure and Applied Algebra 59 (1), 61-85, 1989
371989
A combinatory account of internal structure
B Jay, T Given-Wilson
The Journal of Symbolic Logic 76 (3), 807-826, 2011
312011
Distinguishing data structures and functions: the constructor calculus and functorial types
CB Jay
International Conference on Typed Lambda Calculi and Applications, 217-239, 2001
292001
Costing parallel programs as a function of shapes
CB Jay
Science of Computer Programming 37 (1-3), 207-224, 2000
292000
Matrices, monads and the fast fourier transform
CB Jay
Key Centre for Advanced Computing Sciences, University of Technology, Sydney, 1993
291993
Concurrent pattern calculus
T Given-Wilson, D Gorla, B Jay
IFIP International Conference on Theoretical Computer Science, 244-258, 2010
262010
Local adjunctions
CB Jay
Journal of Pure and Applied Algebra 53 (3), 227-238, 1988
261988
Modelling Reduction in Confluent Categories
CB Jay
Applications of Categories in Computer Science: Proceedings of the London …, 1992
251992
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20