PADS/ML: a functional data description language (2007)

by Y Mandelbaum, K Fisher, D Walker, M F Fernández, A Gleyzer
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL