A calculus with polymorphic and polyvariant flow types

DOI10.1017/S0956796801004245zbMath1005.68042OpenAlexW2020543669MaRDI QIDQ4542147

J. B. Wells, Robert Müller, Allyn Dimock, Franklyn A. Turbak

Publication date: 6 October 2002

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796801004245

zbMATH Keywords

\(\lambda\)-calculus

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (7)

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ⋮ A Realizability Interpretation for Intersection and Union Types ⋮ Intersection-types à la Church ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ A verified framework for higher-order uncurrying optimizations ⋮ Unnamed Item ⋮ Intersection Typed λ-calculus

Uses Software

• GHC

This page was built for publication: A calculus with polymorphic and polyvariant flow types