@inproceedings{inproceedings, title  = {{Friends with benefits: implementing corecursion in foundational proof assistants}},

 publisher = {{Springer Berlin Heidelberg}},

 url = {{}},

 year = {{2017}},

 month = {{3}},

 author = {{Blanchette JC and Bouzy A and Lochbihler A and Popescu A and Traytel D}},

 doi = {{10.1007/978-3-662-54434-1_5}},

 isbn = {{9783662544334}},

 volume = {{LNTCS,volume 10201}},

 journal = {{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}},

 pages = {{111-140}},

 note = {{Accessed on 2024/09/19}}}