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

by Michael Hanus , Frank Steiner
Venue:IN PROC. OF THE 2ND INTERNATIONAL ACM SIGPLAN CONFERENCE ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2000
Citations:5 - 5 self