Login / Signup

Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning.

Joris BurgersJurriaan HageAlejandro Serrano
Published in: IFL (2020)
Keyphrases