Original language | English |
---|---|
Title of host publication | Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017 |
Publisher | Association for Computing Machinery |
Pages | 2:! |
Number of pages | 2 |
Publication status | Published - 2017 |
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming
Alejandro Serrano, J. Hage
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review