Practical SMT-based type error localization

Zvonimir Pavlinovic
Thomas Wies
ICFP, ACM(2015), pp. 412-423

Abstract

Research Areas