Structure and interpretation of computer programs
Structure and interpretation of computer programs
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional programming for freshman computer science majors
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Communications of the ACM
Teaching recursion as a problem-solving tool using standard ML
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
A language-only course in LISP with PC scheme
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Scaling up: a research agenda for software engineering
Communications of the ACM
The logical basis for computer programming: vol. 2, deductive systems
The logical basis for computer programming: vol. 2, deductive systems
Elements of functional programming
Elements of functional programming
The central role of mathematical logic in computer science
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Functional Programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Paradigms and laboratories in the core computer science curriculum: an overview
ACM SIGCSE Bulletin
| Hi-index | 0.00 |
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.