Documents Related by Co-Citation

576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
790 Eiffel: the language – Bertrand Meyer - 1992
1344 The C Programming Language – Dennis M. Ritchie - 1988
773 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
870 The Art of the Metaobject Protocol – G Kiczales, J des Rivières, D G Bobrow - 1991
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
985 A theory of type polymorphism in programming – Robin Milner - 1978
473 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985