NEXT ·  UP ·  PREVIOUS ·  CONTENTS ·  INDEX
Next: Applicative programming reading list Up: Introduction Previous: Programming in practice

Reading lists

There are many excellent journal articles and textbooks on the topics of applicative programming and the formal specification of computer programs. A bibliography is given at the end of each chapter of these notes.



 

Stephen Gilmore
8/5/1997