"Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules."

Alejandro Serrano, Jurriaan Hage (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics