Programming languages & software engineering

J Launchbury, SL Peyton Jones, Simon Peyton Jones

ACM Conference on Programming Languages Design and Implementation, Orlando (PLDI’94) | June 1994

ACM Conference on Programming Languages Design and Implementation, Orlando (PLDI'94)

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

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.