Inproceedings,
Free theorems for functional logic programs.
J. Christiansen, D. Seidel, and J. Voigtländer.PLPV, page 39-48. ACM, (2010)
Meta data
- BibTeX key
- conf/plpv/ChristiansenSV10
- entry type
- inproceedings
- booktitle
- PLPV
- year
- 2010
- pages
- 39-48
- publisher
- ACM
- crossref
- conf/plpv/2010
- ee
- https://doi.org/10.1145/1707790.1707797
- isbn
- 978-1-60558-890-2
- url
- http://dblp.uni-trier.de/db/conf/plpv/plpv2010.html#ChristiansenSV10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/plpv/ChristiansenSV10
%A Christiansen, Jan
%A Seidel, Daniel
%A Voigtländer, Janis
%B PLPV
%D 2010
%E Filliâtre, Jean-Christophe
%E Flanagan, Cormac
%I ACM
%K
%P 39-48
%T Free theorems for functional logic programs.
%U http://dblp.uni-trier.de/db/conf/plpv/plpv2010.html#ChristiansenSV10
%@ 978-1-60558-890-2
@inproceedings{conf/plpv/ChristiansenSV10,
added-at = {2023-12-13T03:19:12.000+0100},
author = {Christiansen, Jan and Seidel, Daniel and Voigtländer, Janis},
biburl = {https://www.bibsonomy.org/bibtex/2c9ba74aca6a3808ada8890e198077ff3/admin},
booktitle = {PLPV},
crossref = {conf/plpv/2010},
editor = {Filliâtre, Jean-Christophe and Flanagan, Cormac},
ee = {https://doi.org/10.1145/1707790.1707797},
interhash = {8a09e1707ff22b64a0ed49ab21175213},
intrahash = {c9ba74aca6a3808ada8890e198077ff3},
isbn = {978-1-60558-890-2},
keywords = {},
pages = {39-48},
publisher = {ACM},
timestamp = {2023-12-13T03:19:12.000+0100},
title = {Free theorems for functional logic programs.},
url = {http://dblp.uni-trier.de/db/conf/plpv/plpv2010.html#ChristiansenSV10},
year = 2010
}