![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Counting Successes: Effects and Transformations for Non-deterministic Programs
Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, DonVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-30936-1_3
File:
PDF, 517 KB
english, 2016