Polytypic programming with ease (extended abstract (1999)

by Ralf Hinze
Venue:In Aart Middeldorp and Taisuke Sato, editors, 4th Fuji International Symposium on Functional and Logic Programming (FLOPS’99