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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!