Programming languages and software engineering

Ting Yu, Cha Zhang, Michael Cohen, Yong Rui, Ying Wu

February 2007

Erik Ruf

MSR-TR-2007-04 | January 2007

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

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

Sumit Gulwani, Ashish Tiwari

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

Project

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

Ray Bittner

MSR-TR-2007-174 | January 2007

Proc. of IEEE Infocom 2006

Jinyu Li

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

Rustan Leino, Wolfram Schulte

Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security | Published by IOS Press | 2007, Vol 9 | Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security edition

Simon Peyton Jones

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