Higher-ranked annotation polymorphic dependency analysis

DOI10.1007/978-3-030-44914-8_24MaRDI QIDQ5041115zbMATH OpenOpenAlexFDO

Authors Fabian Thorand, Jurriaan Hage

Publication date 13 October 2022

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-44914-8_24

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• scientific article; zbMATH DE number 1130261
• scientific article; zbMATH DE number 1953279
• A polymorphic type dependency analysis for logic programs
• A modular, polyvariant and type-based closure analysis

Cites work

• scientific article; zbMATH DE number 3874579 (Why is no real title available?)
• scientific article; zbMATH DE number 1738290 (Why is no real title available?)
• scientific article; zbMATH DE number 2161330 (Why is no real title available?)
• A logic programming language with lambda-abstraction, function variables, and simple unification
• A theory of type polymorphism in programming
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Dependent information flow types
• Higher-order unification and matching
• Information flow inference for ML
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• Practical type inference for arbitrary-rank types
• Random time evolution and direct integrals: Constants of the motion and the mass operator
• Towards automatic resource bound analysis for OCaml
• Type reconstruction in finite rank fragments of the second-order -calculus

Cited in

(3)

• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
• A modular, polyvariant and type-based closure analysis

Describes a project that uses

Uses Software

• GitHub
• lens
• Haskell
• ML

This page was built for publication: Higher-ranked annotation polymorphic dependency analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5041115)