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

by Y Mandelbaum, K Fisher, D Walker, M Fernández, A Gleyzer
Venue:In POPL