Good advice for type-directed programming aspect-oriented programming and extensible generic functions (2006)

by G Washburn, S Weirich