Programming languages and software engineering

Yuri Gurevich

IFIP 1994 World Computer Congress, Volume I: Technology and Foundations | March 1998

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

Johannes Helander, Alessandro Forin

MSR-TR-98-53 | January 1998

Project

Joe Barrera, Ken Birman, Dan Dumitriu, Rod Gamache, Mike Massa, Rob Short, John Vert, Werner Vogels

January 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

Simon Peyton Jones, Norman Ramsey

MSR-TR-1998-1 | January 1998

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

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