ESOP 2015 in London
Andrei Popescu gave a talk at ESOP 2015 on “Witnessing (Co)Datatypes” (in Isabelle/HOL). Anyone who missed the talk can still witness the (co)datatypes by having a look at the slides or at the paper.
This entry was posted in Uncategorized
. Bookmark the permalink