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.