Inproceedings,
Memoizing a Monadic Mixin DSL.
P. Wuille, T. Schrijvers, H. Samulowitz, G. Tack, and P. Stuckey.WFLP, volume 6816 of Lecture Notes in Computer Science, page 68-85. Springer, (2011)
Meta data
- BibTeX key
- conf/wflp/WuilleSSTS11
- entry type
- inproceedings
- booktitle
- WFLP
- year
- 2011
- pages
- 68-85
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 6816
- crossref
- conf/wflp/2011
- ee
- https://doi.org/10.1007/978-3-642-22531-4_5
- isbn
- 978-3-642-22530-7
- url
- http://dblp.uni-trier.de/db/conf/wflp/wflp2011.html#WuilleSSTS11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/wflp/WuilleSSTS11
%A Wuille, Pieter
%A Schrijvers, Tom
%A Samulowitz, Horst
%A Tack, Guido
%A Stuckey, Peter J.
%B WFLP
%D 2011
%E Kuchen, Herbert
%I Springer
%K dblp
%P 68-85
%T Memoizing a Monadic Mixin DSL.
%U http://dblp.uni-trier.de/db/conf/wflp/wflp2011.html#WuilleSSTS11
%V 6816
%@ 978-3-642-22530-7
@inproceedings{conf/wflp/WuilleSSTS11,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Wuille, Pieter and Schrijvers, Tom and Samulowitz, Horst and Tack, Guido and Stuckey, Peter J.},
biburl = {https://www.bibsonomy.org/bibtex/2df5ec03dde92b962e0c12d0c6660be80/dblp},
booktitle = {WFLP},
crossref = {conf/wflp/2011},
editor = {Kuchen, Herbert},
ee = {https://doi.org/10.1007/978-3-642-22531-4_5},
interhash = {3417baa6592fe75fb206ec5a05a2f851},
intrahash = {df5ec03dde92b962e0c12d0c6660be80},
isbn = {978-3-642-22530-7},
keywords = {dblp},
pages = {68-85},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T18:04:52.000+0200},
title = {Memoizing a Monadic Mixin DSL.},
url = {http://dblp.uni-trier.de/db/conf/wflp/wflp2011.html#WuilleSSTS11},
volume = 6816,
year = 2011
}