Programming languages & software engineering

Simon Peyton Jones, Ben Lippmeier, Gabriele Keller

Submitted to ICFP 2011 | January 2011

Tomas Petricek, Don Syme, Alan Mycroft,

Proceedings of Haskell Symposium | January 2011

Project Project Project

Suresh Thummalapenta

Automated Software Engg. | January 2011, Vol 18(3-4): pp. 293-323

Brandon Lucia, Benjamin P. Wood, Luis Ceze

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation | January 2011

ISBN: 978-1-4503-0663-8

Francesco Logozzo

Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’11) | January 2011

Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11)

Project

Nick Benton, Patricia Johann

January 2011

Special issue of Logical Methods in Computer Science (LMCS)

Ian Wehrman, Josh Berdine

January 2011

Syntax and Semantics of Low-Level Languages, LOLA 2011, Toronto, ON, Canada, June 20, 2011.

Marc Brockschmidt, Thomas Stroeder, Carsten Otto, Juergen Giesl

FoVeOOS | January 2011

FoVeOOS

Xiao Lin Liu, Chong Luo, Feng Wu

Proceedings of IEEE Data Compression Conference (DCC’11) | January 2011

ISBN: 978-1-61284-279-0

Uriel Feige, Moshe Tennenholtz

STOC | January 2011