Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cefp/MolEP07
%A de Mol, Maarten
%A van Eekelen, Marko C. J. D.
%A Plasmeijer, Rinus
%B CEFP
%D 2007
%E Horváth, Zoltán
%E Plasmeijer, Rinus
%E Soós, Anna
%E Zsók, Viktória
%I Springer
%K dblp
%P 41-86
%T Proving Properties of Lazy Functional Programs with Sparkle.
%U http://dblp.uni-trier.de/db/conf/cefp/cefp2007.html#MolEP07
%V 5161
%@ 978-3-540-88058-5
@inproceedings{conf/cefp/MolEP07,
added-at = {2017-05-24T00:00:00.000+0200},
author = {de Mol, Maarten and van Eekelen, Marko C. J. D. and Plasmeijer, Rinus},
biburl = {https://www.bibsonomy.org/bibtex/247da77284b06c9be82dd30d0d8c0d4c6/dblp},
booktitle = {CEFP},
crossref = {conf/cefp/2007},
editor = {Horváth, Zoltán and Plasmeijer, Rinus and Soós, Anna and Zsók, Viktória},
ee = {https://doi.org/10.1007/978-3-540-88059-2_2},
interhash = {56c7a6f61911d6a24405b390e62dc935},
intrahash = {47da77284b06c9be82dd30d0d8c0d4c6},
isbn = {978-3-540-88058-5},
keywords = {dblp},
pages = {41-86},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T21:17:27.000+0200},
title = {Proving Properties of Lazy Functional Programs with Sparkle.},
url = {http://dblp.uni-trier.de/db/conf/cefp/cefp2007.html#MolEP07},
volume = 5161,
year = 2007
}