Programming languages & software engineering

Jamie Shotton

January 2007

January 2007

Gang Hua, Paul Viola, Steven Drucker

Computer Vision and Pattern Recognition, 2007. CVPR ’07. IEEE Conference on | January 2007

Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv

Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings | January 2007

Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings

ISBN: 978-3-540-76636-0

Moshe Babaioff, Nicole Immorlica, David Kempe, Robert Kleinberg

APPROX-RANDOM’07 | January 2007

APPROX-RANDOM'07

Jacob Biehl, Mary Czerwinski, Greg Smith, George Robertson, Brian Bailey

CHI 2007 Conference on Human Factors in Computing Systems | January 2007

Cynthia Sims Parr, Bongshin Lee, Benjamin B. Bederson

Ecological Informatics | January 2007

Ecological Informatics

Yuri Gurevich

V. Diekert, M. Volkov, and A. Voronkov (Eds.): Computer Science – Theory and Applications CSR 2007, 2nd International Symposium on Computer Science in Russia Springer Lecture Notes (2007). | January 2007

Rustan Leino, Rosemary Monahan

In FTfJP ’07: Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs | January 2007

Project

Simon Peyton Jones

January 2007 | Submitted to ICFP 2007 edition edition

Submitted to ICFP 2007

Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, Manuel Chakravarty

January 2007

January 2007

Presented at the Implementing Functional Languages workshop, Sept 2007 (IFL07), but not part of its post-refereed proceedings.