Programming languages & software engineering

Simon Peyton Jones

Haskell ’11: Proceedings of the Fourth ACM SIGPLAN Symposium on Haskell | January 2011

Cédric Fournet, Karthik Bhargavan, Andy Gordon

Foundations of Security Analysis and Design VI | Published by Springer Berlin Heidelberg | 2011, Vol 6858

ISBN: 9783642230813

Lecture Notes in Computer Science 6858

Tomas Petricek, Don Syme,

Proceedings of Practical Aspects of Declarative Languages | January 2011

Proceedings of Practical Aspects of Declarative Languages

Project Project

Alexey Gotsman, Josh Berdine, Byron Cook

27th Conference on the Mathematical Foundations of Programming Semantics, MFPS 27, Pittsburgh, PA, USA, May 25-28, 2011. Electr. Notes Theor. Comput. Sci. | January 2011

Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore, Matthew J. Parkinson,

SIGSOFT FSE | January 2011

Ethan Jackson, Tihamer Levendovszky, Daniel Balasubramanian

MODELS 2011 | January 2011

MODELS 2011

Project

Alexandr Andoni, Moses S. Charikar, Ofer Neiman, Huy L. Nguyen

Symposium on Foundations of Computer Science (FOCS) | January 2011

Josh Berdine, Byron Cook, Samin Ishtiaq

CAV | January 2011

Song Xue, Paul Luo Li, Joseph P. Mullally, Mingtian Ni, Greg Nichols, Solom Heddaya, Brendan Murphy

MSR-TR-2011-2 | January 2011

Patrick Cousot, Radhia Cousot, Francesco Logozzo

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

Project