Pavlinovic, [2019] “Leveraging Program Analysis for Type Inference”
A thesis with a detailed explanation of the principles of type inference algorithms for refinement/liquid types.
Pavlinovic, [2019] “Leveraging Program Analysis for Type Inference”
A thesis with a detailed explanation of the principles of type inference algorithms for refinement/liquid types.