Intensional Set Constraints. - Gilles Richard; Frédéric Saubion; A. Tellez-Arenas (APPIA-GULP-PRODE, 1997)

Intensional Sets Using Explicit Substitutions. - Gilles Richard; Frédéric Saubion; A. Tellez-Arenas (ICFP, 1997)