Friends with benefits: implementing corecursion in foundational proof assistants

Blanchette, J.C., Bouzy, A., Lochbihler, A. et al. (2 more authors) (2017) Friends with benefits: implementing corecursion in foundational proof assistants. In: Yang, H., (ed.) Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, 22-29 Apr 2017, Uppsala, Sweden. Lecture Notes in Computer Science, LNTCS,volume 10201 . Springer Berlin Heidelberg , pp. 111-140. ISBN 9783662544334

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Blanchette, J.C.
  • Bouzy, A.
  • Lochbihler, A.
  • Popescu, A.
  • Traytel, D.
Editors:
  • Yang, H.
Copyright, Publisher and Additional Information:

© 2017 Springer-Verlag GmbH Germany. 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.
Dates:
  • Published: 19 March 2017
  • Published (online): 19 March 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
Engineering and Physical Sciences Research Council
EP/N019547/1
Depositing User: Symplectic Sheffield
Date Deposited: 20 Oct 2022 15:44
Last Modified: 21 Oct 2022 15:02
Status: Published
Publisher: Springer Berlin Heidelberg
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-662-54434-1_5
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)