Jump to Content

Practical SMT-based type error localization

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

Abstract

Research Areas