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

by Y Mandelbaum, K Fisher, D Walker, M Fernandez, A Gleyzer
Venue:In ACM Symposium on Principles of Programming Languages