Inproceedings,
Type invariants for Haskell.
T. Schrijvers, L. Guillemette, and S. Monnier.PLPV, page 39-48. ACM, (2009)
Meta data
- BibTeX key
- conf/plpv/SchrijversGM09
- entry type
- inproceedings
- booktitle
- PLPV
- year
- 2009
- pages
- 39-48
- publisher
- ACM
- crossref
- conf/plpv/2009
- ee
- https://doi.org/10.1145/1481848.1481855
- isbn
- 978-1-60558-330-3
- url
- http://dblp.uni-trier.de/db/conf/plpv/plpv2009.html#SchrijversGM09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/plpv/SchrijversGM09
%A Schrijvers, Tom
%A Guillemette, Louis-Julien
%A Monnier, Stefan
%B PLPV
%D 2009
%E Altenkirch, Thorsten
%E Millstein, Todd D.
%I ACM
%K dblp
%P 39-48
%T Type invariants for Haskell.
%U http://dblp.uni-trier.de/db/conf/plpv/plpv2009.html#SchrijversGM09
%@ 978-1-60558-330-3
@inproceedings{conf/plpv/SchrijversGM09,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Schrijvers, Tom and Guillemette, Louis-Julien and Monnier, Stefan},
biburl = {https://www.bibsonomy.org/bibtex/2b7218a85adfb97526f351d9d317c7c9f/dblp},
booktitle = {PLPV},
crossref = {conf/plpv/2009},
editor = {Altenkirch, Thorsten and Millstein, Todd D.},
ee = {https://doi.org/10.1145/1481848.1481855},
interhash = {3b83dde9ba5e5fbdd191cf208a4c73ff},
intrahash = {b7218a85adfb97526f351d9d317c7c9f},
isbn = {978-1-60558-330-3},
keywords = {dblp},
pages = {39-48},
publisher = {ACM},
timestamp = {2018-11-07T14:06:25.000+0100},
title = {Type invariants for Haskell.},
url = {http://dblp.uni-trier.de/db/conf/plpv/plpv2009.html#SchrijversGM09},
year = 2009
}