Transformation Rules for GHC (1988)

by K Ueda, K Furukawa
Venue:Programs, Proc. International Conference on Fifth Generation Computer Science