Implementing Type Classes.

John Peterson, Mark P. Jones

Browse the full PLDI paper archive.