Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages theory & practice
ACM Digital Library