Type Error Customization in GHC: Controlling expression-level type errors by type-level programming
- Alejandro Serrano
- , Jurriaan Hage
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4
Link opens in a new tab
Citations
(Scopus)