Purely functional lazy nondeterministic programming (2009)

by S Fischer, O Kiselyov, C-c Shan
Venue:In Proc. 14th ACM SIGPLAN international conference on Functional programming (ICFP ’09