Programming languages and software engineering

Tom Barclay, Wyman Chong, Jim Gray

MSR-TR-2003-70 | October 2003

Tim Harris, Keir Fraser

Object-Oriented Programming, Systems, Langauges & Applications (OOPSLA ’03) | October 2003

Object-Oriented Programming, Systems, Langauges & Applications (OOPSLA '03)

Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

Miguel Castro, Roger S. Foster, Kevin Gunn, Edward B. Roberts

IEEE Transactions on Engineering Management | September 2003, Vol 50

Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia | September 2003

A.R. Thakar, A.S. Szalay, P.Z. Kunszt, Jim Gray

Computing in Science and Engineering | September 2003, Vol 5(5): pp. 16-29

Adam Tauman Kalai

Journal of Cryptology | September 2003, Vol 16(4): pp. 287-289

Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn

Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell’03), Uppsala, Sweden | August 2003

Proceedings of the ACM SIGPLAN Haskell Workshop (Haskell'03), Uppsala, Sweden