Programming languages and software engineering

Gina Venolia

January 2005

Gavin Bierman, Erik Meijer, Wolfram Schulte

ECOOP | January 2005

ISBN: 3-540-27992-X

Shaz Qadeer, Sriram Rajamani

MSR-TR-2005-08 | January 2005

Jure Leskovec, Natasa Milic-Frayling, Marko Grobelnik

MSR-TR-2005-07 | January 2005

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

POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages | January 2005

ISBN: 1-58113-830-X

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

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

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

John Dunagan, Nicholas J. A. Harvey, Mike Jones, Dejan Kostic, Marvin Theimer, Alec Wolman

OSDI’04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation | December 2004