A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
Good advice for type-directed programming aspect-oriented programming and extensible generic functions
2006
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming - WGP '06
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it possible to implement many sorts of operations, such as serialization, traversals, and queries, only once and without needing to continually revise their implementations as new data types are defined. Type-directed programming is the basis for recent research into "scrapping" tedious boilerplate code that arises in
doi:10.1145/1159861.1159867
dblp:conf/icfp/WashburnW06
fatcat:ucv7oc4hazfypcthnscoewh3y4