Herbelin, Hugo ;
Letouzey, Pierre ;
Sozeau, Matthieu
LIPIcs, Volume 39, TYPES'14, Complete Volume
Abstract
LIPIcs, Volume 39, TYPES'14, Complete Volume
BibTeX - Entry
@InProceedings{herbelin_et_al:LIPIcs:2015:5504,
author = {Hugo Herbelin and Pierre Letouzey and Matthieu Sozeau},
title = {{LIPIcs, Volume 39, TYPES'14, Complete Volume}},
booktitle = {20th International Conference on Types for Proofs and Programs (TYPES 2014)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-88-0},
ISSN = {1868-8969},
year = {2015},
volume = {39},
editor = {Hugo Herbelin and Pierre Letouzey and Matthieu Sozeau},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5504},
URN = {urn:nbn:de:0030-drops-55047},
annote = {Keywords: Applicative (Functional) Programming, Software/Program Verification, Specifying and Verifying and Reasoning about Programs, Mathematical Logic}
}
|
Keywords: |
|
Applicative (Functional) Programming, Software/Program Verification, Specifying and Verifying and Reasoning about Programs, Mathematical Logic |
|
Seminar: |
|
20th International Conference on Types for Proofs and Programs (TYPES 2014)
|
|
Issue date: |
|
2015 |
|
Date of publication: |
|
2015 |
2015
