Refinement Types as Higher Order Dependency Pairs

Cody Roux

Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of…