Good advice for type-directed programming aspect-oriented programming and extensible generic functions.

Geoffrey Washburn, Stephanie Weirich

Browse the full ICFP paper archive.