Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/pacmpl/AhmedJSW17
%A Ahmed, Amal
%A Jamner, Dustin
%A Siek, Jeremy G.
%A Wadler, Philip
%D 2017
%J Proc. ACM Program. Lang.
%K dblp
%N ICFP
%P 39:1-39:28
%T Theorems for free for free: parametricity, with and without types.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#AhmedJSW17
%V 1
@article{journals/pacmpl/AhmedJSW17,
added-at = {2022-07-05T00:00:00.000+0200},
author = {Ahmed, Amal and Jamner, Dustin and Siek, Jeremy G. and Wadler, Philip},
biburl = {https://www.bibsonomy.org/bibtex/2a073afbcf43441539ed413e8b54eeb4f/dblp},
ee = {https://doi.org/10.1145/3110283},
interhash = {4b0bb4ded80c5f71b61cc57d51010d61},
intrahash = {a073afbcf43441539ed413e8b54eeb4f},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {ICFP},
pages = {39:1-39:28},
timestamp = {2024-04-08T09:54:53.000+0200},
title = {Theorems for free for free: parametricity, with and without types.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#AhmedJSW17},
volume = 1,
year = 2017
}