Programming languages & software engineering

Martin Sulzmann, Manuel Chakravarty, Simon Peyton Jones, Kevin Donnelly

ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI’07) | January 2007

ISBN: 1-59593-393-X

Sumit Gulwani, Ashish Tiwari

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. | January 2007

Project

Claudio Russo

PADL’07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages, Nice, France | January 2007

ISBN: 3-540-69608-3

\copyright Springer-Verlag, \urlhttp://www.springer.de/comp/lncs/index.html

Jinyu Li

IEEE Trans. on Audio, Speech, and Language Proc | January 2007

Yuxiong He, Wen-Jing Hsu

ICPP | January 2007

Roman Manevich, John Field, Thomas. A. Henzinger, G. Ramalingam, Mooly Sagiv

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm | January 2007

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm

Shuvendu Lahiri, Randal E. Bryant

ACM Transactions on Computational Logic (TOCL ’07) | January 2007

Anton Schwaighofer

Journal of Chemical Information and Modelling | January 2007, Vol 47(2): pp. 407-424

Simon Peyton Jones

Beautiful code | Published by O’Reilly | 2007 | Beautiful code edition

Josh Berdine, Byron Cook

Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings | January 2007

Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

ISBN: 978-3-540-74060-5