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.}, }