Pattern synonyms. - Matthew Pickering; Gergo Érdi; Simon Peyton Jones; Richard A. Eisenberg (Haskell, 2016)

Generic Description of Well-Scoped, Well-Typed Syntaxes. - Gergo Érdi (CoRR, 2018)