Fun, rigour and pragmatism in functional programming
Angel Sánchez-Calle, J. Ángel Velázquez‐Iturbide · ACM SIGCSE Bulletin · 1991
A course on functional programming using Hope is presented. It describes the basic principles of functional programming, the syntax and semantics of Hope, and some techniques for the analysis and design of programs. A main feature of the course is the integration in a natural way of formal methods and reusability with programming.