Programming languages & software engineering

Sean McDirmid, Matthew Flatt, Wilson C. Hsieh

OOPSLA | October 2001

OOPSLA

Rustan Leino, Greg Nelson

ACM Transactions on Programming Languages and Systems | October 2001

Ben Bradshaw, John Platt, Bernhard Scholkopf

MSR-TR-2001-99 | October 2001

Claudio Russo

ICFP ’01 Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | October 2001

ISBN: 1-58113-415-0

Mike Barnett, Wolfram Schulte

Workshop on Specification and Verification of Component-Based Systems | October 2001

Published as Iowa State Technical Report 01-09a

David Bargeron, Jonathan Grudin, Anoop Gupta

MSR-TR-2001-90 | October 2001

Cha Zhang, T Chen

Image Processing, 2001. Proceedings. 2001 International Conference | October 2001

Luca Cardelli, Giorgio Ghelli, Andy Gordon

Information and Computation | September 2001, 巻177(2): pp. 160-194

Mark Shields, Simon Peyton Jones

Workshop on Multi-Language Infrastructure and Interoperability (BABEL’01) | September 2001

Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01)

Simon Peyton Jones, Andrew Tolmach, Tony Hoare

2001 Haskell Workshop | September 2001