Sergio Antoy, Andy Jost
A New Functional-Logic Compiler for Curry: Sprite
LOPSTR, 2016.
@inproceedings{LOPSTR-2016-AntoyJ,
author = "Sergio Antoy and Andy Jost",
booktitle = "{Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-319-63139-4_6",
isbn = "['978-3-319-63138-7', '978-3-319-63139-4']",
pages = "97--113",
publisher = "{Springer}",
title = "{A New Functional-Logic Compiler for Curry: Sprite}",
year = 2016,
}
Tags: