Programming languages & software engineering

Gang Hua, Cha Zhang, Zicheng Liu, Zhengyou Zhang, Ying Shan

Proc. of Asian Conf. on Computer Vision | September 2009

Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann

Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP ’09) | September 2009

Nick Benton, Chung-Kil Hur

Proceedings of the 14th International Conference on Functional Programming (ICFP) | September 2009

Proceedings of the 14th International Conference on Functional Programming (ICFP)

Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace

Proceedings of the 14th European Symposium on Research in Computer Security (ESORICS) | September 2009

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt

Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA’09) | September 2009

Rustan Leino, Peter Müller, Jan Smans

FOSAD 2009, Bertinoro, Italy | September 2009

Project

Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis

Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming | September 2009

This new paper comes with a prototype implementation for a Haskell-like language, available for download.

Kun Tan, He Liu, Ji Fang, Wei Wang, Jiansong Zhang, Mi Chen, Geoffrey M. Voelker

The 15th Annual International Conference on Mobile Computing and Networking (ACM Mobicom2009), Beijing, China | September 2009

Project

Claudio Russo, Dimitrios Vytiniotis

ML ’09 Proceedings of the 2009 ACM SIGPLAN workshop on ML | August 2009

ISBN: 978-1-60558-509-3

B. Ashok, Joseph Joy, Hongkang Liang, Sriram Rajamani, Gopal Srinivasa, Vipindeep Vangala

Foundations of Software Engineering (ESEC/FSE) | August 2009

Foundations of Software Engineering (ESEC/FSE)