Pattern matching

Papers and books

• "First class patterns", Barry Jay and Delia Kesner
• "First class patterns", Mark Tullsen
• "Pattern Calculus", Barry Jay

There is more work by Barry Jay on the factorization calculus, and on typed self-interpreters via pattern matching, that is relevant for typing-related questions:

• https://web.cs.ucla.edu/~palsberg/paper/icfp11.pdf