Programming languages and software engineering

Nick Benton, G.M Bierman, V.C.V. De Paiva

Journal of Functional Programming | March 1998

Alexander Aiken, Manuel Fahndrich, Zhendong Su

Proceedings of the 1st Conference on Tools and Algorithms for the Analysis and Construction of Systems | March 1998

Proceedings of the 1st Conference on Tools and Algorithms for the Analysis and Construction of Systems

Yuri Gurevich

Information and Computation | February 1998

Erich Grädel, Yuri Gurevich, Colin Hirsch

1998 ACM Symposium on Principles of Database Systems (PODS’98). | January 1998

Giuseppe Del Castillo, Yuri Gurevich, Karl Stroetmann

January 1998

Sean McDirmid

Handheld Systems 6.5, Creative Digital Publishing Inc. | January 1998

Creative Digital Publishing Inc.

Mark Shields, Tim Sheard, Simon Peyton Jones

25th ACM Symposium on Principles of Programming Languages (POPL’98) | January 1998

25th ACM Symposium on Principles of Programming Languages (POPL'98)

Andrew Blake, B. Bascle, Michael Isard, J. MacCormick

Phil. Trans. R. Soc. A. | January 1998, Vol 356: pp. 1283-1302

Andreas Blass, Yuri Gurevich, Vladik Kreinovich, Luc Longpré

Information Processing Letters | January 1998

Simon Peyton Jones, Norman Ramsey

MSR-TR-1998-1 | January 1998