Programming languages and software engineering

Cormac Flanagan, Shaz Qadeer

POPL ’02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2002

Cédric Fournet, Andy Gordon

MSR-TR-2001-103 | January 2002

ISBN: 1-58113-450-9

Proceedings of Tenth Conference on Uncertainty in Artificial Intelligence

Thore Graepel, Nicol N. Schraudolph

Proceedings of the International Conference on Neural Networks, ICANN 2002 | January 2002

Thomas Ball, Sriram Rajamani

MSR-TR-2001-21 | January 2002

Glenn Ammons, Rastislav Bodik, Jim Larus

Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2002

Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Yuri Gurevich, Alexander Rabinovich

Journal of Logic and Computation | January 2002, Vol 12: pp. 1-11

Simon Peyton Jones, Mark Shields

January 2002

Microsoft Research

Youssef Hamadi

Int. J. on Artif. Intelligence Tools (IJAIT), 13th International Conference on Tools with Artificial Intelligence | January 2002

A. J. Ganesh, A.-M. Kermarrec, L. Massoulié

Proc. Tenth ACM SIGOPS European Workshop | January 2002

Proc. Tenth ACM SIGOPS European Workshop

Li-Yi Wei

January 2002