Type Error Customization in GHC: Controlling expression-level type errors by type-level programming.

Alejandro Serrano Jurriaan Hage

Published in: IFL (2017)

Keyphrases

case study
neural network
computer vision
information systems
image processing
image segmentation
higher level
error analysis