Purely Functional Lazy Non-deterministic Programming

Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan; Christian-Albrechts University, FNMOC, Rutgers University

International Conference on Functional Programming (ICFP)
Edinburgh 2009
ACM SIGPLAN

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…