Meta-theory à la carte (2013)

by Benjamin Delaware, Bruno C d S Oliveira, Tom Schrijvers
Venue:In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’13