Next Generation Pattern Matching

Next generation pattern matching.
Funder: Engineering and Physical Sciences Research Council (EPSRC).
Fellow: Raphaël Clifford.
Funding period: 1 January 2013 – 31 December 2017.
Project website.