Documents Related by Co-Citation

548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
758 Eiffel: the language – B Meyer - 1992
1266 The C Programming Language – Dennis M. Ritchie - 1988
742 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
816 The Art of the Metaobject Protocol – G Kiczales, J des Rivieres, D G Bobrow - 1991
896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
944 A theory of type polymorphism in programming – Robin Milner - 1978
898 Design Patterns – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1995