Harland, David M. "Polymorphic Programming Languages", Ellis Horwood 1984. (1984) |
Languages mentioned
- HOPE {1978}
- ISWIM {1966} Landin's paper language
- ML {1973} Meta Language
- Poly {1982} Polymorphic Programming Language
- RUSSELL {1970}
- S-Algol {1979} St Andrew's Algol
- SASL (2nd version) {1972} Lazy evaluation SASL
- VAL {1979} Value-oriented Algorithmic Language
|
|