Integrating attribute grammar and functional programming language features

Ted Kaminski, Eric Van Wyk

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations


While attribute grammars have several features making them advantageous for specifying language processing tools, functional programming languages offer a myriad of features also well-suited for such tasks. Much other work shows the close relationship between these two approaches, often in the form of embedding attribute grammars into lazy functional languages. This paper continues in this tradition, but in the other direction, by integrating various functional language features into attribute grammars. Specifically we integrate rich static types (including parametric polymorphism, typed distinctions between decorated and undecorated trees, limited type inference, and generalized algebraic data-types) and pattern-matching, all in a manner that maintains familiar and convenient attribute grammar notations and especially their highly extensible nature.

Original languageEnglish (US)
Title of host publicationSoftware Language Engineering - 4th International Conference, SLE 2011, Revised Selected Papers
Number of pages20
StatePublished - 2012
Event4th International Conference of Software Language Engineering, SLE 2011 - Braga, Portugal
Duration: Jul 3 2011Jul 4 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6940 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other4th International Conference of Software Language Engineering, SLE 2011

Bibliographical note

Funding Information:
This work is partially supported by NSF Awards No. 0905581 and 1047961.


Dive into the research topics of 'Integrating attribute grammar and functional programming language features'. Together they form a unique fingerprint.

Cite this