Using functor categories to generate intermediate code (1995)

by J Reynolds
Venue:In Twenty-Second ACM Symposium on Principles of Programming Languages