Programming languages and software engineering

Simon Peyton Jones

ICFP ’07: Proceedings of the ACM SIGPLAN international conference on Functional programming | October 2007

ICFP '07: Proceedings of the ACM SIGPLAN international conference on Functional programming

Saswat Anand, Patrice Godefroid, Nikolai Tillmann

MSR-TR-2007-138 | October 2007

Project Project

Daan Leijen

Proceedings of the ACM International Conference on Functional Programming (ICFP’07) | October 2007

Proceedings of the ACM International Conference on Functional Programming (ICFP'07)

Nathan Whitehead, Jordan Johnson, Martin Abadi

Automated Technology for Verification and Analysis (ATVA) | October 2007

Automated Technology for Verification and Analysis (ATVA)

ISBN: 978-3-540-75595-1

Karthik Pattabiraman, Vinod Grover, Ben Zorn

MSR-TR-2006-127 | October 2007

Manik Varma, Rahul Garg

Proceedings of the IEEE International Conference on Computer Vision, Rio de Janeiro, Brazil | October 2007

Emre Kiciman, Ben Livshits

The 21st ACM Symposium on Operating Systems Principles (SOSP’07) | October 2007

Project

Kevin Bierhoff, Chris Hawblitzel

PLOS 07: 4th workshop on Programming languages and operating systems | October 2007

PLOS 07: 4th workshop on Programming languages and operating systems

Andrew Kennedy

ACM SIGPLAN International Conference on Functional Programming | October 2007

ACM SIGPLAN International Conference on Functional Programming

Andrew Begel

First Workshop on Human-Computer Interaction and Information Retrieval | October 2007

First Workshop on Human-Computer Interaction and Information Retrieval