Inproceedings,
Equality proofs and deferred type errors: a compiler pearl.
D. Vytiniotis, S. Jones, and J. Magalhães.ICFP, page 341-352. ACM, (2012)
Meta data
- BibTeX key
- conf/icfp/VytiniotisJM12
- entry type
- inproceedings
- booktitle
- ICFP
- year
- 2012
- pages
- 341-352
- publisher
- ACM
- crossref
- conf/icfp/2012
- ee
- https://www.wikidata.org/entity/Q122981580
- isbn
- 978-1-4503-1054-3
- url
- http://dblp.uni-trier.de/db/conf/icfp/icfp2012.html#VytiniotisJM12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icfp/VytiniotisJM12
%A Vytiniotis, Dimitrios
%A Jones, Simon L. Peyton
%A Magalhães, José Pedro
%B ICFP
%D 2012
%E Thiemann, Peter
%E Findler, Robby Bruce
%I ACM
%K dblp
%P 341-352
%T Equality proofs and deferred type errors: a compiler pearl.
%U http://dblp.uni-trier.de/db/conf/icfp/icfp2012.html#VytiniotisJM12
%@ 978-1-4503-1054-3
@inproceedings{conf/icfp/VytiniotisJM12,
added-at = {2023-10-21T00:00:00.000+0200},
author = {Vytiniotis, Dimitrios and Jones, Simon L. Peyton and Magalhães, José Pedro},
biburl = {https://www.bibsonomy.org/bibtex/22888f96a43e1bc307613d4b1255bd238/dblp},
booktitle = {ICFP},
crossref = {conf/icfp/2012},
editor = {Thiemann, Peter and Findler, Robby Bruce},
ee = {https://www.wikidata.org/entity/Q122981580},
interhash = {46e8acc9fcfb0cbdc1c4a6460e130d71},
intrahash = {2888f96a43e1bc307613d4b1255bd238},
isbn = {978-1-4503-1054-3},
keywords = {dblp},
pages = {341-352},
publisher = {ACM},
timestamp = {2024-04-09T17:31:21.000+0200},
title = {Equality proofs and deferred type errors: a compiler pearl.},
url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2012.html#VytiniotisJM12},
year = 2012
}