%0 Conference Paper %1 conf/icfp/Crary00 %A Crary, Karl %B ICFP %D 2000 %E Odersky, Martin %E Wadler, Philip %I ACM %K dblp %P 68-81 %T Typed compilation of inclusive subtyping. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2000.html#Crary00 %@ 1-58113-202-6

@inproceedings{conf/icfp/Crary00, added-at = {2021-07-08T00:00:00.000+0200}, author = {Crary, Karl}, biburl = {https://www.bibsonomy.org/bibtex/26703620add92c3c456b6a802d298b2ba/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2000}, editor = {Odersky, Martin and Wadler, Philip}, ee = {https://doi.org/10.1145/357766.351247}, interhash = {674ece73b002a2179500db80392c806c}, intrahash = {6703620add92c3c456b6a802d298b2ba}, isbn = {1-58113-202-6}, keywords = {dblp}, note = {SIGPLAN Notices 35(9), September 2000}, pages = {68-81}, publisher = {ACM}, timestamp = {2024-04-09T17:30:59.000+0200}, title = {Typed compilation of inclusive subtyping.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2000.html#Crary00}, year = 2000 }