1 paper · 1 filter
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Refinement types enable lightweight verification of functional programs. Algorithms for statically inferring refinement types typically work by reduction to solving systems of cons…