Programming languages and software engineering

Yuri Gurevich

ACM SIGACT NEWS | June 1994

Rich Draves

MSR-TR-94-06 | May 1994

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

Chris Okasaki, Peter Lee, David Tarditi

Lisp Symb. Comput. | January 1994

Andreas Blass, Yuri Gurevich

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

R. Brockett, A. Blake, Andrew Blake

Proc. IEEE CDC Conf. | January 1994

Proc. IEEE CDC Conf.

Martin Abadi, Luca Cardelli

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