![](/img/cover-not-exists.png)
[ACM Press the 1st International Workshop - Nara, Japan (2016.09.18-2016.09.18)] Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016 - Programming assistance for type-directed programming (extended abstract)
Osera, Peter-MichaelYear:
2016
Language:
english
DOI:
10.1145/2976022.2976027
File:
PDF, 92 KB
english, 2016