More Data Types with Negation at Fun in the REPL

Yesterday I had a lovely day at Fun in the REPL in Bristol.

Alex Kavvos invited me to give a talk, so I decided to give an updated and extended version of the Data types with Negation talk I gave a few times last year.

I've got a bit further in working out how to analyse the semantics of a data type with negation, but seeing an analogy with the solutions of mixed-variance domain equations.

Here are the slides I used:

Thumbnail of slides for “Data Types with Negation” talk given at Fun in the REPL on 1st November 2023