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: