Proceedings of the 1st International Workshop on Type-Driven Development
ACM Digital Library