Browsing byAuthorJay, B
Showing results 1 to 16 of 16
| Issue Date | Title | Author(s) |
| 2019-05-10 | Intensional computation with higher-order functions | Jay, B |
| 2019-01-14 | A simpler lambda calculus | Jay, B |
| 2017-12-25 | Recursive programs in normal form (short paper) | Jay, B |
| 2017-02-01 | Conflicting accounts of λ-definability | Jay, B; Vergara, J |
| 2016-10-05 | Programs as Data Structures in λSF-Calculus | Jay, B |
| 2014-08-22 | A concurrent pattern calculus | Given-Wilson, T; Gorla, D; Jay, B |
| 2013-10-30 | Growing a language in pattern calculus | Jay, B; Vergara, J |
| 2011-12-09T05:10:12Z | The Insider's Guide to Getting Published | Grahame, E; Grafton, D; Allatson, P; Chelliah, J; Jay, B; Lally, E; Linacre, S |
| 2011-09-01 | Typed self-interpretation by pattern matching | Jay, B; Palsberg, J |
| 2011-09-01 | A combinatory account of internal structure | Jay, B; Given-Wilson, T |
| 2010-01-01 | Concurrent Pattern Calculus | Given-Wilson, T; Gorla, D; Jay, B; Calude, CS; Sassone, V |
| 2009-12-01 | Pattern calculus: Computing with functions and structures | Jay, B |
| 2009-03-01 | First-class patterns | Jay, B; Kesner, D |
| 2008-08-13 | Scrap your type applications | Jay, B; Peyton Jones, S |
| 2006-07-14 | Pure pattern calculus | Jay, B; Kesner, D |
| 2006-01 | Adaptiveness in Well-Typed java bytecode verification | Huang, FY; Jay, B; Skillicorn, D; Erdogmus, H; Stroulia, E; Stewart, D |
