Generic monadic constructs for embedded languages

Authors:
Anders Persson;Emil Axelsson;Josef Svenningsson
Affiliations:
Chalmers University of Technology, Sweden,Ericsson, Sweden;Chalmers University of Technology, Sweden;Chalmers University of Technology, Sweden
Venue:
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Year:
2011

Citing 9
Cited 5

Higher-order abstract syntax

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Comprehending monads

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Modular Domain Specific Languages and Tools

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Compiling embedded languages

Journal of Functional Programming
Data types à la carte

Journal of Functional Programming
Complete and decidable type inference for GADTs

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
A monad for deterministic parallelism

Proceedings of the 4th ACM symposium on Haskell
The design and implementation of feldspar an embedded language for digital signal processing

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Feldspar: application and implementation

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School

Feldspar: application and implementation

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
A generic abstract syntax model for embedded languages

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
The constrained-monad problem

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Simple and compositional reification of monadic embedded languages

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
An EDSL approach to high performance Haskell programming

Proceedings of the 2013 ACM SIGPLAN symposium on Haskell

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a library of generic monadic constructs for embedded languages. It is an extension of Syntactic, a Haskell library for defining and processing generic abstract syntax. Until now, Syntactic has been mostly suited to implement languages based on pure, side effect free, expressions. The presented extension allows the pure expressions to also contain controlled side effects, enabling the representation of expressions that rely on destructive updates for efficiency. We demonstrate the usefulness of the extension by giving examples from the embedded language Feldspar which is implemented using Syntactic.