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]
@inproceedings{Martini15-0,
title = {Several Types of Types in Programming Languages},
author = {Simone Martini},
year = {2015},
doi = {10.1007/978-3-319-47286-7_15},
url = {http://dx.doi.org/10.1007/978-3-319-47286-7_15},
researchr = {https://researchr.org/publication/Martini15-0},
cites = {0},
citedby = {0},
pages = {216-227},
booktitle = {History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers},
editor = {Fabio Gadducci and Mirko Tavosanis},
volume = {487},
series = {IFIP Advances in Information and Communication Technology},
isbn = {978-3-319-47285-0},
}