Inproceedings,
Minimally strict polymorphic functions.
J. Christiansen, and D. Seidel.PPDP, page 53-64. ACM, (2011)
Meta data
- BibTeX key
- conf/ppdp/ChristiansenS11
- entry type
- inproceedings
- booktitle
- PPDP
- year
- 2011
- pages
- 53-64
- publisher
- ACM
- crossref
- conf/ppdp/2011
- ee
- https://doi.org/10.1145/2003476.2003487
- isbn
- 978-1-4503-0776-5
- url
- http://dblp.uni-trier.de/db/conf/ppdp/ppdp2011.html#ChristiansenS11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ppdp/ChristiansenS11
%A Christiansen, Jan
%A Seidel, Daniel
%B PPDP
%D 2011
%E Schneider-Kamp, Peter
%E Hanus, Michael
%I ACM
%K
%P 53-64
%T Minimally strict polymorphic functions.
%U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2011.html#ChristiansenS11
%@ 978-1-4503-0776-5
@inproceedings{conf/ppdp/ChristiansenS11,
added-at = {2023-12-12T19:35:31.000+0100},
author = {Christiansen, Jan and Seidel, Daniel},
biburl = {https://www.bibsonomy.org/bibtex/2acc8558aa178003db00e44c894608384/admin},
booktitle = {PPDP},
crossref = {conf/ppdp/2011},
editor = {Schneider-Kamp, Peter and Hanus, Michael},
ee = {https://doi.org/10.1145/2003476.2003487},
interhash = {230cb33b8596e3a18d78cf4a7c02293a},
intrahash = {acc8558aa178003db00e44c894608384},
isbn = {978-1-4503-0776-5},
keywords = {},
pages = {53-64},
publisher = {ACM},
timestamp = {2023-12-12T19:35:31.000+0100},
title = {Minimally strict polymorphic functions.},
url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2011.html#ChristiansenS11},
year = 2011
}