%0 Conference Paper %1 conf/icfp/Crary97 %A Crary, Karl %B ICFP %D 1997 %E Jones, Simon L. Peyton %E Tofte, Mads %E Berman, A. Michael %I ACM %K dblp %P 125-135 %T Foundations for the Implementation of Higher-Order Subtyping. %U http://dblp.uni-trier.de/db/conf/icfp/icfp97.html#Crary97 %@ 0-89791-918-1

@inproceedings{conf/icfp/Crary97, added-at = {2021-07-08T00:00:00.000+0200}, author = {Crary, Karl}, biburl = {https://www.bibsonomy.org/bibtex/25aa878fa1d36239a21f2a10ddf1c7b7a/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/1997}, editor = {Jones, Simon L. Peyton and Tofte, Mads and Berman, A. Michael}, ee = {https://doi.org/10.1145/258949.258961}, interhash = {95875b5d4f0bb18d39ba65c8a9e16bed}, intrahash = {5aa878fa1d36239a21f2a10ddf1c7b7a}, isbn = {0-89791-918-1}, keywords = {dblp}, note = {SIGPLAN Notices 32(8), August 1997}, pages = {125-135}, publisher = {ACM}, timestamp = {2024-04-09T17:31:12.000+0200}, title = {Foundations for the Implementation of Higher-Order Subtyping.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp97.html#Crary97}, year = 1997 }