![](/img/cover-not-exists.png)
[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Correctness of an STM Haskell implementation
Schmidt-Schauß, Manfred, Sabel, DavidYear:
2013
Language:
english
DOI:
10.1145/2500365.2500585
File:
PDF, 642 KB
english, 2013