@article{DBLP:journals/scp/Jones94,
 author = {Mark P. Jones},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/scp/Jones94.bib},
 doi = {10.1016/0167-6423(94)00005-0},
 journal = {Sci. Comput. Program.},
 number = {3},
 pages = {231--256},
 timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
 title = {A Theory of Qualified Types},
 url = {https://doi.org/10.1016/0167-6423(94)00005-0},
 volume = {22},
 year = {1994}
}