Programming languages and software engineering

Nuria Oliver, Lucas Kreger-Stickles

February 2007

Cynthia Dwork, Moni Naor

SIAM Journal of Computation | February 2007, Vol 36(6): pp. 1513-1543

Andreas Blass, Yuri Gurevich

Bulletin of European Association for Theoretical Computer Science, #91 | February 2007

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