PADS/ML: A functional data description language

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 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

AD HOC NETWORKS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; PRINTING; SEARCH ENGINES;

DATA DESCRIPTION LANGUAGES; DEPENDENT TYPES; DOMAIN-SPECIFIC LANGUAGES; PARSING;

DATA DESCRIPTION;

COMPUTER PROGRAMING; PRINTERS;

EID: 34548253441     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190216.1190231     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.