Programming languages and software engineering

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

Project

Jun Yan, Ning Liu, Benyu Zhang, Shuicheng Yan, Zheng Chen, Qiansheng Cheng, Weiguo Fan, Wei-Ying Ma

28th annual international ACM SIGIR conference on Research and development in information retrieval | January 2005

28th annual international ACM SIGIR conference on Research and development in information retrieval

Juan Chen

ACM Workshop on Types in Language Design and Implementation (TLDI 05) | January 2005

Nicolas Bruno, Surajit Chaudhuri

Proceedings of the ACM International Conference on Management of Data (SIGMOD) | January 2005

Project

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

Project Project

Tom Minka

MSR-TR-2005-173 | January 2005

R. Manevich, E. Yahav, G. Ramalingam, M. Sagiv

Sixth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005) | January 2005

Matthew J. Parkinson

January 2005

January 2005

http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-654.html

Theresa Wilson, Janyce Wiebe, Paul Hoffmann

Proceedings of Human Language Technologies Conference/Conference on Empirical Methods in Natural Language Processing (HLT/EMNLP 2005) | January 2005

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields

Journal of Functional Programming | January 2005, Vol 17: pp. 1-82

Submitted to the Journal of Functional Programming