Programming languages and software engineering

Marc Shapiro, Karthik Bhargavan

MSR-TR-2004-14 | March 2004

\urlftp://ftp.research.microsoft.com/pub/tr/TR-2004-14.pdf

Nick Benton

March 2004

March 2004

Clem Baker-Finch, Kevin Glynn, Simon Peyton Jones

Journal of Functional Programming | March 2004, Vol 14(2): pp. 211-245

Kevork Abazajian, Jim Gray, et. al.

Astronomy | March 2004, Vol 128: pp. 502-512

Olatunji Ruwase, Monica S. Lam

Network and Distributed Systems Security (NDSS) | February 2004

Feng Wu, Honghui Sun, Guobin Shen, Shipeng Li, Ya-Qin Zhang, Bruce Lin, Ming-Chieh Li

EURASIP on Applied Signal Processing | February 2004, Vol 2: pp. 192-206

Shi-Ding Lin, Qiao Lian, Ming Chen, Zheng Zhang

MSR-TR-2004-13 | February 2004

James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt

First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004

Maria A. Nieto-Santisteban, William O'Mullane, Nolan Li, Tamas Budavari, Alexander S. Szalay, Aniruddha R. Thakar, Jim Gray

MSR-TR-2004-12 | February 2004

Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani

MSR-TR-2004-08 | January 2004

Project