Type Theory as a Framework for Modelling and Programming.

Cezar Ionescu, Patrik Jansson, Nicola Botta

Browse the full ISoLA paper archive.