Recursive type generativity. Journal of Functional Programming, pages 433–471, 2007. Derek Dreyer. A type system for recursive modules (2007)

by Derek Dreyer
Venue:In Proceedings of ACM SIGPLAN International Conference on Functional Programming