Adding algebraic methods to traditional functional languages by using reflection (1993)

by T Sheard
Venue:In AMAST'93 (Algebraic Methods And Software Technology