Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
ACM Digital Library