![](/img/cover-not-exists.png)
[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Proof-producing synthesis of ML from higher-order logic
Myreen, Magnus O., Owens, ScottYear:
2012
Language:
english
DOI:
10.1145/2364527.2364545
File:
PDF, 705 KB
english, 2012