Deriving efficient functional programs by constructing medio-types (1994)

by Z Hu, H Iwasaki, M Takeichi
Venue:In Proc. JSSST-FP '94