1. Experience report: types for a relational algebra library
2. Quantified class constraints
3. Associated type synonyms
4. Counter-factual typing for debugging type errors
5. Oege de Moor Kevin Backhouse and S. Doaitse Swierstra. 2000. Firstclass Attribute Grammars. Informatica (Slovenia) 24 3 ( 2000 ). Oege de Moor Kevin Backhouse and S. Doaitse Swierstra. 2000. Firstclass Attribute Grammars. Informatica (Slovenia) 24 3 ( 2000 ).