dblp.uni-trier.de www.uni-trier.de

36. POPL 2009: Savannah, GA, USA

Zhong Shao, Benjamin C. Pierce (Eds.): Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. ACM 2009, ISBN 978-1-60558-379-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited talk

Concurrency

Types I

Medley I

Static analysis I

Invited talk

Functional programming

Medley II

Static analysis II

Static analysis III

Invited talk

Program logics

Types II

Multicore

Verification

Copyright © Mon Nov 2 21:04:53 2009 by Michael Ley (ley@uni-trier.de)