Index Terms
- Programming pearls: the envelope is back
Recommendations
Programming pearls: Writing correct programs
In the late 1960s people were talking about the promise of programs that verify the correctness of other programs. Unfortunately, it is now the middle of the 1980s, and, with precious few exceptions, there is still little more than talk about automated ...
Fifteen years of functional pearls
ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programmingIn 1991, when the Journal of Functional Programming was inaugurated, the editors, Simon Peyton Jones and Philip Wadler, asked me to contribute a regular column to be called Functional Pearls. The idea was to emulate the very successful series of essays ...
Fifteen years of functional pearls
Proceedings of the 2006 ICFP conferenceIn 1991, when the Journal of Functional Programming was inaugurated, the editors, Simon Peyton Jones and Philip Wadler, asked me to contribute a regular column to be called Functional Pearls. The idea was to emulate the very successful series of essays ...
Comments