@inproceedings{209,
  author = {Jan Christiansen and Daniel Seidel and Janis Voigtländer},
  title = {An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry},
  year = {2010},
  booktitle = {International Workshop on Functional and Constraint Logic Programming},
  journal = {International Workshop on Functional and Constraint Logic Programming},
  pages = {119-136},
  doi = {10.1007/978-3-642-20775-4_7},
}