Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.

Stefan Holdermans, Jurriaan Hage

Browse the full ICFP paper archive.