PADS/ML: A functional data description language

ACM SIGPLAN Notices

Volumn 42, Issue 1, 2007, Pages 77-83

  Mandelbaum, Yitzhak ^a   Fisher, Kathleen ^b   Walker, David ^a   Fernandez, Mary ^b   Gleyzer, Artem ^a  

^a PRINCETON UNIVERSITY   (United States)

^b AT AND T LABS RESEARCH   (United States)

Author keywords

Data description languages; Dependent types; Domain specific languages; Functional programming; ML; Modules; Parsing; Printing

Indexed keywords

DATA DESCRIPTION LANGUAGES; DEPENDENT TYPES; DOMAIN-SPECIFIC LANGUAGES; FORMAT-INDEPENDENT TOOL GENERATION; FUNCTIONAL PROGRAMMING;

DATA PROCESSING; PRINTERS (COMPUTER); SEMANTICS; SYNTACTICS;

QUERY LANGUAGES;

EID: 33846528587     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (6)

1. D. Dreyer. Understanding and Evolving the ML Module System. PhD thesis, CMU, May 2005.
2. K. Fisher and R. Gruber. PADS: A domain specific language for processing ad hoc data. In ACM Conference on Programming Language Design and Implementation, pages 295-304. ACM Press, June 2005.
3. K. Fisher, Y. Mandelbaum, and D. Walker. The next 700 data description languages. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 2-15, Jan. 2006.
4. Y. Mandelbaum. The Theory and Practice of Data Description. PhD thesis, Princeton University, September 2006.
5. Y. Mandelbaum, K. Fisher, D. Walker, M. Fernandez, and A. Gleyzer. PADS/ML: A functional data description language. Technical Report TR-761-06, Princeton University, July 2006.
6. Tree formats. Workshop on molecular evolution, http://workshop. molecularevolution.org/resources/fileformats/tree.formats.php.