Determinism Types for Functional Logic Programming.

Michael Hanus, Kai-Oliver Prott

Browse the full PPDP paper archive.