Simple and compositional reification of monadic embedded languages
暂无分享,去创建一个
[1] Andy Gill,et al. Haskell DSLs for Interactive Web Services , 2012 .
[2] Wouter Swierstra,et al. Data types à la carte , 2008, Journal of Functional Programming.
[3] Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia , 1999 .
[4] Bo Joel Svensson,et al. Expressive array constructs in an embedded GPU kernel programming language , 2012, DAMP '12.
[5] Andy Gill,et al. The constrained-monad problem , 2013, ICFP.
[6] Emil Axelsson. A generic abstract syntax model for embedded languages , 2012, ICFP '12.
[7] Emil Axelsson,et al. Generic Monadic Constructs for Embedded Languages , 2011, IFL.
[8] Patrick Bahr,et al. Parametric Compositional Data Types , 2012, MSFP.