Attribute grammars fly first-class: how to do aspect oriented programming in Haskell

DOI10.1145/1596550.1596586MaRDI QIDQ2936823zbMATH OpenOpenAlexFDO

Authors Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra

Publication date 6 January 2015

Published in Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1596550.1596586

zbMATH Keywords

attribute grammarsclass systemHaskellHListlazy evaluationtype-level programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• First-class attribute grammars
• Advanced Functional Programming
• Constructing Programs as Executable Attribute Grammars
• Attribute grammars as recursion schemes over cyclic representations of zippers
• scientific article; zbMATH DE number 4031017

Cited in

(4)

• Zipping strategies and attribute grammars
• Typed quote/antiquote or: compile-time parsing
• A generic functional representation of sorted trees supporting attribution (Haskell can do it)
• Advanced Functional Programming

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Attribute grammars fly first-class: how to do aspect oriented programming in Haskell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936823)