%0 Conference Paper %1 conf/icfp/MandelbaumWH03 %A Mandelbaum, Yitzhak %A Walker, David %A Harper, Robert %B ICFP %D 2003 %E Runciman, Colin %E Shivers, Olin %I ACM %K dblp %P 213-225 %T An effective theory of type refinements. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2003.html#MandelbaumWH03 %@ 1-58113-756-7

@inproceedings{conf/icfp/MandelbaumWH03, added-at = {2024-04-08T00:00:00.000+0200}, author = {Mandelbaum, Yitzhak and Walker, David and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2d8ebb747f05760deb255369c46de018e/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2003}, editor = {Runciman, Colin and Shivers, Olin}, ee = {https://doi.org/10.1145/944746.944725}, interhash = {3105c8113a79a7b5f240cea14560c1af}, intrahash = {d8ebb747f05760deb255369c46de018e}, isbn = {1-58113-756-7}, keywords = {dblp}, pages = {213-225}, publisher = {ACM}, timestamp = {2024-04-12T14:45:20.000+0200}, title = {An effective theory of type refinements.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2003.html#MandelbaumWH03}, year = 2003 }