@INPROCEEDINGS{AntoyHanus14WFLP,
author    = {Antoy, S. and Hanus, M.},
title     = {Curry without {Success}},
year      = {2014},
booktitle = {Proc.\ of the 23rd International Workshop on Functional and
             (Constraint) Logic Programming (WFLP 2014)},
pages     = {140-154},
publisher = {CEUR-WS.org},
series    = {{CEUR} Workshop Proceedings},
volume    = {1335},
abstract = {
Curry is a successful, general-purpose, functional logic programming
language that predefines a singleton type \emph{Success} explicitly 
to support its logic component.
We take the likely-controversial position that
without \emph{Success} Curry would be as much logic or more.
We draw a short history and motivation for the existence of this type
and justify why its elimination could be advantageous.
Furthermore, we propose a new interpretation of rule application
which is convenient for programming and increases
the similarity between the functional component of Curry and
functional programming as in Haskell.
We outline some related theoretical (semantics) and
practical (implementation) consequences of our proposal.
}
}