Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants

Thumbnail
Metadata only
Author
Blanchette, Jasmin C.
Bouzy, Aymeric
Lochbihler, Andreas
Popescu, Andrei
Traytel, Dmitriy
Show all
Date
2017
Type
    Conference Paper
Publication status
published
External links
Editor
Yang, Hongseok
Book title
Programming Languages and Systems (ESOP 2017)
Journal / series
Lecture Notes in Computer Science
Volume
10201
Pages / Article No.
111 - 140
Publisher
Springer
Event
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
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Published online 19 March 2017.
More
Show all metadata
ETH Bibliography
yes
Altmetrics