Witnessing (Co)datatypes

Blanchette, J.C., Popescu, A. orcid.org/0000-0001-8747-0619 and Traytel, D. (2015) Witnessing (Co)datatypes. In: Vitek, J., (ed.) Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, 11-18 Apr 2015, London, UK. Lecture Notes in Computer Science, 9032 . Springer Berlin , pp. 359-382. ISBN 9783662466681

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Vitek, J.
Copyright, Publisher and Additional Information:

© 2015 Springer-Verlag Berlin Heidelberg. This is an author-produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Derivation Tree; Proof Assistant; Type Constructor; Initial Algebra; Polynomial Functor
Dates:
  • Published: 9 April 2015
  • Published (online): 9 April 2015
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 30 Sep 2022 18:00
Last Modified: 30 Sep 2022 18:00
Status: Published
Publisher: Springer Berlin
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-662-46669-8_15
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)