Inproceedings,
Size slicing: a hybrid approach to size inference in futhark.
T. Henriksen, M. Elsman, and C. Oancea.FHPC@ICFP, page 31-42. ACM, (2014)
Meta data
- BibTeX key
- conf/icfp/HenriksenEO14
- entry type
- inproceedings
- booktitle
- FHPC@ICFP
- year
- 2014
- pages
- 31-42
- publisher
- ACM
- crossref
- conf/icfp/2014fhpc
- ee
- https://doi.org/10.1145/2636228.2636238
- isbn
- 978-1-4503-3040-4
- url
- http://dblp.uni-trier.de/db/conf/icfp/fhpc2014.html#HenriksenEO14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icfp/HenriksenEO14
%A Henriksen, Troels
%A Elsman, Martin
%A Oancea, Cosmin E.
%B FHPC@ICFP
%D 2014
%E Berthold, Jost
%E Sheeran, Mary
%E Newton, Ryan
%I ACM
%K dblp
%P 31-42
%T Size slicing: a hybrid approach to size inference in futhark.
%U http://dblp.uni-trier.de/db/conf/icfp/fhpc2014.html#HenriksenEO14
%@ 978-1-4503-3040-4
@inproceedings{conf/icfp/HenriksenEO14,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Henriksen, Troels and Elsman, Martin and Oancea, Cosmin E.},
biburl = {https://www.bibsonomy.org/bibtex/213b0ea60fed492ad1a6b3a5f5159097c/dblp},
booktitle = {FHPC@ICFP},
crossref = {conf/icfp/2014fhpc},
editor = {Berthold, Jost and Sheeran, Mary and Newton, Ryan},
ee = {https://doi.org/10.1145/2636228.2636238},
interhash = {a6cfecf8ee099304d134dce017a910e8},
intrahash = {13b0ea60fed492ad1a6b3a5f5159097c},
isbn = {978-1-4503-3040-4},
keywords = {dblp},
pages = {31-42},
publisher = {ACM},
timestamp = {2024-05-13T10:11:02.000+0200},
title = {Size slicing: a hybrid approach to size inference in futhark.},
url = {http://dblp.uni-trier.de/db/conf/icfp/fhpc2014.html#HenriksenEO14},
year = 2014
}