Non-determinism Analysis in a Parallel-Functional Language (2001)

by R Peña, C Segura
Venue:In Implementation of Functional Languages (IFL 2000), LNCS 1268