![](/img/cover-not-exists.png)
[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Type-and-example-directed program synthesis
Osera, Peter-Michael, Zdancewic, SteveYear:
2015
Language:
english
DOI:
10.1145/2737924.2738007
File:
PDF, 472 KB
english, 2015