%0 Journal Article %1 journals/toplas/SahaTS03 %A Saha, Bratin %A Trifonov, Valery %A Shao, Zhong %D 2003 %J ACM Trans. Program. Lang. Syst. %K dblp %N 2 %P 159-209 %T Intensional analysis of quantified types. %U http://dblp.uni-trier.de/db/journals/toplas/toplas25.html#SahaTS03 %V 25

@article{journals/toplas/SahaTS03, added-at = {2021-10-14T00:00:00.000+0200}, author = {Saha, Bratin and Trifonov, Valery and Shao, Zhong}, biburl = {https://www.bibsonomy.org/bibtex/2fbc67bb96e998a6049757ad84a90ef41/dblp}, ee = {https://doi.org/10.1145/641888.641889}, interhash = {c60141434350875f67288f1bd53293a1}, intrahash = {fbc67bb96e998a6049757ad84a90ef41}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 2, pages = {159-209}, timestamp = {2024-04-09T06:03:21.000+0200}, title = {Intensional analysis of quantified types.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas25.html#SahaTS03}, volume = 25, year = 2003 }