Tyng-Ruey Chuang Generic Validation of Structural Content with Parametric Modules. 98-109 2001 ICFP db/conf/icfp/icfp2001.html#Chuang01