Purely Functional Lazy Non-deterministic Programming

by Sebastian Fischer , Chung-chieh Shan
Citations:12 - 3 self