Browsing byAuthorJay, B
Showing results 6 to 16 of 16< previous
Issue Date | Title | Author(s) |
---|---|---|
2009-03-01 | First-class patterns | Jay, B; Kesner, D |
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 |
2019-05-10 | Intensional computation with higher-order functions | Jay, B |
2009-12-01 | Pattern calculus: Computing with functions and structures | Jay, B |
2016-10-05 | Programs as Data Structures in λSF-Calculus | Jay, B |
2006-07-14 | Pure pattern calculus | Jay, B; Kesner, D |
2017-12-25 | Recursive programs in normal form (short paper) | Jay, B |
2008-08-13 | Scrap your type applications | Jay, B; Peyton Jones, S |
2019-01-14 | A simpler lambda calculus | Jay, B |
2011-09-01 | Typed self-interpretation by pattern matching | Jay, B; Palsberg, J |