Browsing byAuthorJay, B
Showing results 10 to 16 of 16< previous
Issue Date | Title | Author(s) |
---|---|---|
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 |