BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
TFP, pp. 25-46, 2020.
Embedded Domain-Specific Languages (EDSLs) are an alternative to quickly implement specialized languages without the need to write compilers or interpreters from scratch. In this territory, Haskell is a prime choice as the host language. EDSLs in Haskell, however, are often incapable of reifying useful static information from the source c...More
Full Text (Upload PDF)
PPT (Upload PPT)