Programming languages & software engineering

K Hammond, SL Peyton Jones, PL Wadler, CV Hall, Simon Peyton Jones

ACM Transactions on Programming Languages and Systems, European Symposium on Programming (ESOP’94) | April 1994

European Symposium on Programming (ESOP'94)

David Heckerman, Ross Shachter

MSR-TR-94-11 | March 1994

John S. Breese, David Heckerman

MSR-TR-94-08 | March 1994

G. Ramalingam, Thomas Reps

Proceeding POPL ’94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1994

F.W. Tompa, G.E. Blake, M.P. Consens, P. Kilpelainen, Paul Larson, T. Snider

January 1994

Martin Abadi, Luca Cardelli

Ninth Annual IEEE Symposium on Logic in Comptuer Science, Paris, France | January 1994

Yuri Gurevich, Neil Immerman, Saharon Shelah

Symposium on Logic in Computer Science, IEEE Computer Society Press | January 1994

R. Brockett, A. Blake, Andrew Blake

Proc. IEEE CDC Conf. | January 1994

Proc. IEEE CDC Conf.

Luca Cardelli

January 1994, pp. 373-425

Published by The MIT Press, January 1994

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

Chris Okasaki, Peter Lee, David Tarditi

Lisp Symb. Comput. | January 1994