ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. - Adrien Champion; Tomoya Chiba; Naoki Kobayashi 001; Ryosuke Sato 001 (J. Autom. Reason., 2020)