Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect Operators
This is an implementation of the analysis named Polyvariant Flow Analysis with Higher-ranked Polymorphic Types and Higher-order Effect Operators created by Jurriaan Hage and Stefan Holdermans.