Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract.

Simone Martini

Browse the full CiE paper archive.