PADS/ML: a functional data description language.

Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernndez, Artem Gleyzer

Browse the full POPL paper archive.