Design of the Programming Language Forsythe (1996)

by John C. Reynolds
Citations:112 - 0 self

Documents Related by Co-Citation

196 Refinement types for ML – Tim Freeman - 1994
522 A semantics of multiple inheritance – Luca Cardelli - 1988
827 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
949 A Formulation of the Simple Theory of Types – Alonzo Church - 1940
1042 A theory of type polymorphism in programming – Robin Milner - 1978
505 Comprehending Monads – Philip Wadler - 1992
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
658 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
60 Functional Character of Solvable Terms, Zeitschr. f. math. Logik und Grundlagen d – M Coppo, M Dezani-Ciancaglini, B Venneri - 1981