Programming languages and software engineering

Yuri Gurevich, Neil Immerman, Saharon Shelah

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

Luca Cardelli

January 1994, pp. 373-425

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

R. Brockett, A. Blake, Andrew Blake

Proc. IEEE CDC Conf. | January 1994

Proc. IEEE CDC Conf.

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

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