Proceedings of the Workshop on Logical Frameworks and Meta-Languages Theory and Practice
ACM Digital Library