Type Systems: Advances and Applications

Jens Palsberg, Todd D. Millstein. Type Systems: Advances and Applications. In The Compiler Design Handbook, 2nd ed.. pages 9, 2007.

@incollection{PalsbergM07,
  title = {Type Systems: Advances and Applications},
  author = {Jens Palsberg and Todd D. Millstein},
  year = {2007},
  researchr = {https://researchr.org/publication/PalsbergM07},
  cites = {0},
  citedby = {0},
  pages = {9},
  booktitle = {The Compiler Design Handbook, 2nd ed.},
}