Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development
On-Campus Access Only (IP based access)