Programming languages & software engineering

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

作者：The MIT Press, January 1994

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

Andreas Blass, Yuri Gurevich

IFIP 1994 World Computer Congress, Volume I: Technology and Foundations, North-Holland, Amsterdam. | January 1994

Chris Okasaki, Peter Lee, David Tarditi

Lisp Symb. Comput. | January 1994

Jim Gray, Prakash Sundaresan, Susanne Englert, Ken Baclawski, Peter J. Weinberger

January 1994