Barry Jay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2008–2025
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PEPM | Typed Program Analysis without Encodings. | Barry Jay |
| 2019 | PEPM | A simpler lambda calculus. | Barry Jay |
| 2018 | PEPM | Recursive programs in normal form (short paper). | Barry Jay |
| 2013 | ICFP | Multi-polymorphic programming in bondi. | Thomas Given-Wilson, Freeman Huang, Barry Jay |
| 2013 | TASE | Growing a Language in Pattern Calculus. | Barry Jay, Jose Vergara |
| 2008 | MPC | Scrap Your Type Applications. | Barry Jay, Simon L. Peyton Jones |