Inproceedings,
An effective theory of type refinements.
Y. Mandelbaum, D. Walker, and R. Harper.ICFP, page 213-225. ACM, (2003)
Meta data
- BibTeX key
- conf/icfp/MandelbaumWH03
- entry type
- inproceedings
- booktitle
- ICFP
- year
- 2003
- pages
- 213-225
- publisher
- ACM
- crossref
- conf/icfp/2003
- ee
- https://doi.org/10.1145/944746.944725
- isbn
- 1-58113-756-7
- url
- http://dblp.uni-trier.de/db/conf/icfp/icfp2003.html#MandelbaumWH03
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}