Concepedia

C. Barry Jay

CB

Statistics

Publications

11

Citations

502

H-Index

11

Active since

1988

Affiliations

University of Technology Sydney(Current)

University of Edinburgh

Istituto Nazionale di Fisica Nucleare, Sezione di Genova

Dalhousie University

C. Barry Jay is an author at University of Technology Sydney specializing in computing, computer science, and type systems.

Publications per year

1988–2004

11

Publications

11

The essence of the Visitor pattern

Jens Palsberg, C. Barry Jay · 2002 · 153 citations

, , +13

A semantics for shape

C. Barry Jay · Science of Computer Programming · 1995 · 88 citations

, , +6

The virtues of eta-expansion

C. Barry Jay, Neil Ghani · Journal of Functional Programming · 1995 · 69 citations · Full text

, , +10

The pattern calculus

C. Barry Jay · ACM Transactions on Programming Languages and Systems · 2004 · 46 citations · Full text

, , +15

Functorial ML

C. Barry Jay, G. Bellè, Eugenio Moggi · Journal of Functional Programming · 1998 · 33 citations · Full text

, , +15

1–5 of 11