From fast exponentiation to square matrices: an adventure in types (1999)

by C Okasaki
Venue:Pages 28–35 of: ACM SIGPLAN International Conference on Functional Programming (ICFP’99