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

Alejandro Serrano, Jurriaan Hage

Browse the full ESOP paper archive.