Login / Signup

Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017

Published in: TyDe@ICFP (2017)
Keyphrases