Generic validation of structural content with parametric modules (2001)

by Tyng–Ruey Chuang
Venue:In Proceedings of the 2001 ACM SIGPLAN International Conference on Functional Programming