How to replace failure by a list of successes
Proc. of a conference on Functional programming languages and computer architecture
An introduction to functional programming
An introduction to functional programming
A call-by-need lambda calculus
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On realism in programming examples
ACM SIGPLAN Notices
Hi-index | 0.00 |