Purely functional lazy non-deterministic programming (2009)

by Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
Venue:In ICFP ’09: Proceedings of the ACM international conference on functional programming