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

DOI10.1145/1863543.1863554zbMath1323.68214OpenAlexW2014601986MaRDI QIDQ5176930

Jurriaan Hage, Stefan Holdermans

Publication date: 5 March 2015

Published in: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1863543.1863554

zbMATH Keywords

higher-ranked polymorphismtype-based program analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Higher-Ranked Annotation Polymorphic Dependency Analysis ⋮ Abstract allocation as a unified approach to polyvariance in control-flow analyses

This page was built for publication: Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators