Programming languages & software engineering

Tim Regan, Mary Czerwinski, Brian Meyers, Greg Smith

MSR-TR-2003-13 | March 2003

Nick Benton

March 2003

March 2003

Brannon Batson, Leslie Lamport

Formal Methods for Components and Objects | March 2003

Jim Gray, Richard Waymire

March 2003

March 2003

Viktor Kuncak, Rustan Leino

AVIS 2003 | February 2003

Nicholas J. A. Harvey, Mike Jones, Marvin Theimer, Alec Wolman

In Proceedings of Second International Workshop on Peer-to-Peer Systems (IPTPS ’03) | February 2003

Jorgen Thelin

February 2003

February 2003

Laszlo Lovasz, Katalin Vesztergombi, Uli Wagner, Emo Welzl

MSR-TR-2003-06 | February 2003

Cormac Flanagan, Shaz Qadeer

TLDI ’03 Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation | January 2003

Cristiano Calcagno, Luca Cardelli, Andy Gordon

MSR-TR-2002-113 | January 2003

Microsoft による投稿

A portion of this work appears in the proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, New Orleans, January 18, 2003.

アクセス