Concepedia

Barry Jay

BJ

Statistics

Publications

5

Citations

139

H-Index

5

Active since

2009

Affiliations

University of Technology Sydney(Current)

University of California, Los Angeles

Barry Jay is an author at University of Technology Sydney specializing in computer science, computing, and pattern matching.

Publications per year

2009–2014

5

Publications

5

First-class patterns

Barry Jay, Delia Kesner · Journal of Functional Programming · 2009 · 54 citations · Full text

Computing, Computer Science, Algorithms +9

A combinatory account of internal structure

Barry Jay, Thomas Given-Wilson · Journal of Symbolic Logic · 2011 · 35 citations

Computing, Computer Science, Mathematics +10

A Concurrent Pattern Calculus

Thomas Given-Wilson, Daniele Gorla, Barry Jay · Logical Methods in Computer Science · 2014 · 19 citations · Full text

Computing, Computer Science, Data Structures +16

Typed self-interpretation by pattern matching

Barry Jay, Jens Palsberg · ACM SIGPLAN Notices · 2011 · 16 citations

Computing, Computer Science, Natural Language Processing +13

Typed self-interpretation by pattern matching

Barry Jay, Jens Palsberg · 2011 · 15 citations

Computing, Computer Science, Natural Language Processing +13

1–5 of 5