"Extracting programs from type class proofs."

Martin Sulzmann (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics