R.I.P. 👻 Ghosted Generic Description of Well-Scoped, Well-Typed Syntaxes Gergő Érdi cs.PL 🏛 arXiv 📚 4 cites 7 years ago