Programming languages and software engineering

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

Published by 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.

Access

Sumit Gulwani, George C. Necula

POPL’03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003

Project

Butler Lampson

Journal of the ACM | January 2003, Vol 50(1): pp. 70-72

Mike Barnett, Wolfram Schulte

The Journal of Systems and Software | January 2003, Vol 65(3): pp. 199-208

Project

Peter D. Turney, Michael L. Littman

ACM Transactions on Information Systems | January 2003, Vol 21: pp. 315-346

George Saon, Geoffrey Zweig, Brian Kingsbury, Lidia Mangu, Upendra Chaudhari

Proceedings of Eurospeech | January 2003

A. Girard, C. E. Rasmussen, J. Quiñonero Candela, R. Murray-Smith, Joaquin Quiñonero Candela

Advances in Neural Information Processing Systems 15 | January 2003

Advances in Neural Information Processing Systems 15

Ralf Lämmel, Simon Peyton Jones

ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI’03) | January 2003

Yoshua Bengio, Pascal Vincent, Jean-François Paiement, Olivier Delalleau, Marie Ouimet, Nicolas Le Roux

1239 | January 2003