Odense, Denmark Peter Schneider-Kamp, Michael Hanus (Eds.):
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark.
ACM 2011, ISBN 978-1-4503-0776-5
Verification and specification
Logic programming and constraints
Types and Lambda calculus
Last update Wed May 22 16:21:39 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page