@inproceedings{DBLP:conf/tapsoft/Arenas-SanchezR97,
author = {P.~Arenas-S{\'{a}}nchez and M.~Rodr\'{\i}guez-Artalejo},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {TAPSOFT},
crossref = {DBLP:conf/tapsoft/1997},
pages = {453-464},
title = {A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.},
projects = {},
butype = {inproceedings},
year = {1997}
}