Refinement Type Inference via Horn Constraint Optimization

Kodai Hashimoto, Hiroshi Unno

We propose a novel method for inferring refinement types of higher-order functional programs. The main advantage of the proposed method is that it can infer maximally preferred (i.…