Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development
ACM Digital Library