1997 | ||
---|---|---|
2 | Gilles Richard, Frédéric Saubion, A. Tellez-Arenas: Intensional Set Constraints. APPIA-GULP-PRODE 1997: 479-490 | |
1 | Gilles Richard, Frédéric Saubion, A. Tellez-Arenas: Intensional Sets Using Explicit Substitutions. ICFP 1997: 318 |
1 | Gilles Richard | [1] [2] |
2 | Frédéric Saubion | [1] [2] |