Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules
Abstract elided by the publisher.
Related papers
- Paradise: a two-stage DSL embedded in Haskell ICFP 2008
- Scalaness/nesT: type specialized staged programming for sensor networks GPCE 2013
- Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs GPCE 2010
- BuildIt: A Type-Based Multi-stage Programming Framework for Code Generation in C++ CGO 2021
- Learning to blame: localizing novice type errors with data-driven diagnosis OOPSLA 2017
- Novice Type Error Diagnosis with Natural Language Models APLAS 2022
- Improving type error diagnosis Haskell 2004
- Toward general diagnosis of static errors POPL 2014