Programming languages and software engineering

Rustan Leino

OOPSLA ’98 | January 1998

Johannes Helander, Alessandro Forin

MSR-TR-98-53 | January 1998

Project

PW Trinder, K Hammond, H-W Loidl, Simon Peyton Jones

Journal of Functional Programming | January 1998, Vol 8: pp. 23-60

H. Zaragoza, d'Alché–F. Buc

Proceedings of the Seventh Int. Conf. Information Processing and Management of Uncertainty in Knowlegde-Based Systems (IPMU) | January 1998

Proceedings of the Seventh Int. Conf. Information Processing and Management of Uncertainty in Knowlegde–Based Systems (IPMU)

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

January 1998

Simon Marlow, Simon Peyton Jones

January 1998

Simon Peyton Jones

December 1997

Ben Zorn, Han Bok Lee

December 1997

Simon Peyton Jones, Andre Santos

Science of Computer Programming | October 1997, Vol 32(1)

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 1997