-
Aitken [1992], 8
- Appel and MacQueen [1991], 6.2, 8
- Augustsson [1985], 8
- Baudinet and MacQueen [1985], 8
- Garrigue [2004], 8
- Harper et al. [1991], 8
- Hudak et al. [1998], 4.3, 8
- Huet and Lévy [1991], 4.1
- Kahn and Plotkin [1978], 4.2
| - Laville [1991], 4.2
- Le Fessant and Maranget [2001], 1, 6.2
- Leroy et al. [2003], 1
- Maranget [1992], 4.2, 7.3, 8, A
- Pettersson [1992], 3.1
- Peyton Jones et al. [1993], 8
- Sekar et al. [1992], 4.2, 7.1, 8, A
- Sestoft [1996], 7.3, 8, A
- Wadler [1987], 8
|
