Type-based Nondeterminism Checking in Functional Logic Programs (2000)

by M Hanus, F Steiner
Venue:In Proc. of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2000