Programming languages and software engineering

Milind Mahajan, Ciprian Chelba

MSR-TR-2002-65 | June 2002

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science Number 77 | June 2002

Tom Barclay, Jim Gray, Eric Strand, Steve Ekblad, Jeffrey Richter

MSR-TR-2002-53 | June 2002

Thomas Ball, Todd Millstein, Sriram Rajamani

MSR-TR-2001-10 | June 2002

Janez Brank, Marko Grobelnik, Natasa Milic-Frayling, Dunja Mladenic

MSR-TR-2002-63 | June 2002

Jim Gemmell, Kentaro Toyama

May 2002

Silvano Dal Zilio, Andy Gordon

Journal of Functional Programming | May 2002, pp. 229-292

Manuel Fahndrich, Robert DeLIne

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | May 2002

Uwe Glässer, Yuri Gurevich, Margus Veanes

MSR-TR-2002-55 | May 2002

Project

Andreas Blass, Yuri Gurevich, Jan Van den Bussche

MSR-TR-99-95 | April 2002