Email Gateway (Aug 22 2022 at 15:38): Email Gateway (Aug 22 2022 at 15:38):From: Jasmin Blanchette <jasmin.blanchette@inria.fr>
Dear colleagues,
Since 2012, Andrei, Dmitriy, me, and many others have been working on (co)datatypes and (co)recursion for Isabelle. In conjunction with the invited FroCoS/ITP/TABLEAUX 2017 talk, we had the opportunity to summarize our work in a single overview paper, which some of you might enjoy reading:
http://matryoshka.gforge.inria.fr/pubs/co_data_invited.pdf
(The camera-ready version is due on 26 June, in case you find some mistakes.)
Cheers,
Jasmin
Last updated: Apr 24 2024 at 20:16 UTC