%0 Conference Paper %1 conf/icfp/CraryV02 %A Crary, Karl %A Vanderwaart, Joseph %B ICFP %D 2002 %E Wand, Mitchell %E Jones, Simon L. Peyton %I ACM %K dblp %P 191-205 %T An expressive, scalable type theory for certified code. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2002.html#CraryV02 %@ 1-58113-487-8

@inproceedings{conf/icfp/CraryV02, added-at = {2021-07-07T00:00:00.000+0200}, author = {Crary, Karl and Vanderwaart, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/259d3257f0a6d3217cf7a2bc7211846c3/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2002}, editor = {Wand, Mitchell and Jones, Simon L. Peyton}, ee = {https://doi.org/10.1145/583852.581497}, interhash = {f951129277a33e87afc87155b31882e6}, intrahash = {59d3257f0a6d3217cf7a2bc7211846c3}, isbn = {1-58113-487-8}, keywords = {dblp}, note = {SIGPLAN Notices 37(9), September 2002}, pages = {191-205}, publisher = {ACM}, timestamp = {2024-04-09T17:31:21.000+0200}, title = {An expressive, scalable type theory for certified code.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2002.html#CraryV02}, year = 2002 }