Published in: LIPIcs, Volume 19, 18th International Workshop on Types for Proofs and Programs (TYPES 2011)
18th International Workshop on Types for Proofs and Programs (TYPES 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Proceedings{danielsson_et_al:LIPIcs.TYPES.2011, title = {{LIPIcs, Volume 19, TYPES'11, Complete Volume}}, booktitle = {18th International Workshop on Types for Proofs and Programs (TYPES 2011)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-49-1}, ISSN = {1868-8969}, year = {2013}, volume = {19}, editor = {Danielsson, Nils Anders and Nordstr\"{o}m, Bengt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011}, URN = {urn:nbn:de:0030-drops-41132}, doi = {10.4230/LIPIcs.TYPES.2011}, annote = {Keywords: Applicative (Functional) Programming, Software/Program Verification, Specifying and Verifying and Reasoning about Programs, Mathematical Logic} }
Published in: LIPIcs, Volume 19, 18th International Workshop on Types for Proofs and Programs (TYPES 2011)
18th International Workshop on Types for Proofs and Programs (TYPES 2011). Leibniz International Proceedings in Informatics (LIPIcs), Volume 19, pp. i-vii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{danielsson_et_al:LIPIcs.TYPES.2011.i, author = {Danielsson, Nils Anders and Nordstr\"{o}m, Bengt}, title = {{Frontmatter, Table of Contents, Preface, Workshop Organization}}, booktitle = {18th International Workshop on Types for Proofs and Programs (TYPES 2011)}, pages = {i--vii}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-49-1}, ISSN = {1868-8969}, year = {2013}, volume = {19}, editor = {Danielsson, Nils Anders and Nordstr\"{o}m, Bengt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.i}, URN = {urn:nbn:de:0030-drops-38957}, doi = {10.4230/LIPIcs.TYPES.2011.i}, annote = {Keywords: Frontmatter, Table of Contents, Preface, Workshop Organization} }
Feedback for Dagstuhl Publishing