DMCA

Purely Functional Lazy Non-deterministic Programming (2009)

by Sebastian Fischer , Oleg Kiselyov , Chung-chieh Shan
Venue:ICFP'09 PROCEEDINGS 2009 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING
Citations:14 - 3 self