@inproceedings{martini:hal-01399694,
  TITLE = {{Several Types of Types in Programming Languages}},
  AUTHOR = {Martini, Simone},
  URL = {https://inria.hal.science/hal-01399694},
  NOTE = {Part 2: Regular Submissions},
  BOOKTITLE = {{3rd International Conference on History and Philosophy of Computing (HaPoC)}},
  ADDRESS = {Pisa, Italy},
  PUBLISHER = {{Springer}},
  SERIES = {History and Philosophy of Computing},
  VOLUME = {AICT-487},
  PAGES = {216-227},
  YEAR = {2015},
  MONTH = Oct,
  DOI = {10.1007/978-3-319-47286-7\_15},
  KEYWORDS = {Types ; Programming languages ; History of computing ; Abstraction mechanisms},
  PDF = {https://inria.hal.science/hal-01399694/file/pisa-proceedings-corrected.pdf},
  HAL_ID = {hal-01399694},
  HAL_VERSION = {v1},
}