%0 Journal Article %1 journals/jfp/CraryWM02 %A Crary, Karl %A Weirich, Stephanie %A Morrisett, J. Gregory %D 2002 %J J. Funct. Program. %K dblp %N 6 %P 567-600 %T Intensional polymorphism in type-erasure semantics. %U http://dblp.uni-trier.de/db/journals/jfp/jfp12.html#CraryWM02 %V 12

@article{journals/jfp/CraryWM02, added-at = {2019-10-19T00:00:00.000+0200}, author = {Crary, Karl and Weirich, Stephanie and Morrisett, J. Gregory}, biburl = {https://www.bibsonomy.org/bibtex/2d2bd29cf6414e4fa972bd7499127dbd8/dblp}, ee = {https://www.wikidata.org/entity/Q56831129}, interhash = {337b106cb9b91d3f0296d7952297d54f}, intrahash = {d2bd29cf6414e4fa972bd7499127dbd8}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 6, pages = {567-600}, timestamp = {2019-10-22T13:13:11.000+0200}, title = {Intensional polymorphism in type-erasure semantics.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp12.html#CraryWM02}, volume = 12, year = 2002 }