ICE-Based Refinement Type Discovery for Higher-Order Functional Programs.

Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato

Browse the full TACAS paper archive.