Typed functional programming. - W. T. Huang; D. C. You (ACM SIGPLAN Notices, 1986)