Type-based nondeterminism checking in functional logic programs

Michael Hanus, Frank Steiner. Type-based nondeterminism checking in functional logic programs. In PPDP. pages 202-213, 2000. [doi]

Abstract

Abstract is missing.