Programming languages and software engineering

Martin Abadi, Luca Cardelli

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

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

January 1994

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

January 1994

Luca Cardelli

January 1994, pp. 373-425

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

Yuri Gurevich, Neil Immerman, Saharon Shelah

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

Paulo Guedes, Miguel Castro

Fourth Workshop on Workstation Operating Systems | October 1993

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 1993

Rich Draves

MSR-TR-93-17 | October 1993

Ted J. Biggerstaff

MSR-TR-93-16 | September 1993

Butler Lampson, David Lomet

19th International Conference on Very Large Data Bases (VLDB ’93) | August 1993

ISBN 1-55860-152-X