Several Types of Types in Programming Languages

Simone Martini. Several Types of Types in Programming Languages. In Fabio Gadducci, Mirko Tavosanis, editors, History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers. Volume 487 of IFIP Advances in Information and Communication Technology, pages 216-227, 2015. [doi]

Abstract

Abstract is missing.