Generic Validation of Structural Content with Parametric Modules

Tyng-Ruey Chuang. Generic Validation of Structural Content with Parametric Modules. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming. ICFP '01, pages 98-109, Association for Computing Machinery, New York, NY, USA, 2001.

Abstract

Abstract is missing.