Design of the Programming Language Forsythe (1996)

by John C. Reynolds
Citations:111 - 0 self

Documents Related by Co-Citation

767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
485 A semantics of multiple inheritance – Luca Cardelli - 1988
177 Refinement types for ML – Tim Freeman - 1994
857 A formulation of the simple theory of types – Alonzo Church - 1940
944 A theory of type polymorphism in programming – Robin Milner - 1978
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
54 Functional characters of solvable terms. Zeitschrift für mathematische Logik und Grundlagen der Mathematik – M Coppo, M Dezani-Ciancaglini, B Venneri - 1981
565 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
736 Security policies and security models – J Goguen, J Meseguer