Papers
Barbara Liskov
- Programming With Abstract Data Types
- A Behavioral Notion of Subtyping
Cardelli L, Wegner P.
- On Understanding Types, Data Abstractions and Polymorphism.
Wadler, P.
- How To Make ad-hoc Polymorphism less ad-hoc
- Monads For Functional Programming.
John Hughes
- Why Functional Programming Matters
Hudak, P
- Haskell vs. Ada vs. C++ vs. Awk vs. … An Experiment in Software Prototyping Productivity