Functional programs as executable specifications
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Structure and interpretation of computer programs
Structure and interpretation of computer programs
An introduction to functional programming
An introduction to functional programming
Elements of functional programming
Elements of functional programming
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
| Hi-index | 0.00 |