Vytiniotis, DimitriosWeirich, Stephanie CPeyton Jones, Simon2023-05-222023-05-222005-09-272006-10-26https://repository.upenn.edu/handle/20.500.14332/7522Practical Type Inference for Arbitrary-Rank Types: Technical AppendixReport