Programming languages & software engineering

Luca Cardelli, Andy Gordon

5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 | April 2001

ISBN: 9783540419600

Amitabh Srivastava, Andrew Edwards, Hoi Vo

MSR-TR-2001-50 | April 2001

Luca Cardelli, Giorgio Ghelli

SEBD | April 2001

ISBN: 3-540-41862-8

Emery D. Berger, Ben Zorn, Kathryn McKinley

MSR-TR-2000-113 | April 2001

Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers

MSR-TR-2001-38 | March 2001

Nicolas Bruno, Surajit Chaudhuri, Luis Gravano

MSR-TR-2001-36 | March 2001

Published by Microsoft

Project Project

David Tarditi

February 2001

February 2001

Colin Campbell, Yuri Gurevich

Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001) eds. R. Moreno-Diaz and A. Quesada-Arencibia, Universidad de Las Palmas de Gran Canaria Canary Islands, Spain | February 2001

Erhard Rahm, Phil Bernstein

MSR-TR-2001-17 | February 2001

Project

Dan Geiger, Chris Meek

MSR-TR-98-10 | February 2001