@INPROCEEDINGS{TolmachAntoy03WFLP,
author = "A. Tolmach and S. Antoy",
title = "A Monadic Semantics for Core {Curry}",
year = "2003",
month = "June",
address = "Valencia, Spain",
pages = "33-46",
booktitle = "Proc.\ of the 12th International Workshop
             on Functional and (constraint) Logic Programming
             (WFLP'03)",
}