Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
ACM Digital Library