Lightning Talk 6:00

Modelling Things with Persistent Types