Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] POPL tutorial on Isabelle/HOL's codatatypes an...

view this post on Zulip Email Gateway (Aug 22 2022 at 16:32):

From: Andrei Popescu <A.Popescu@mdx.ac.uk>
Dear HOL and Isabelle users,

If you are in LA for CPP, POPL etc., please consider attending a Monday (Jan. 8) morning POPL tutorial on recent advances with Isabelle/HOL’s codatatype and corecursion infrastructure.

https://popl18.sigplan.org/track/POPL-2018-TutorialFest

http://andreipopescu.uk/pdf/POPLtutorialProposal.pdf

Best regards,

Andrei

Last updated: Apr 19 2024 at 01:05 UTC