×

zbMATH — the first resource for mathematics

Purely functional lazy non-deterministic programming. (English) Zbl 1302.68058
Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 11-22 (2009).

MSC:
68N18 Functional programming and lambda calculus
PDF BibTeX XML Cite
Full Text: DOI