A calculus with polymorphic and polyvariant flow types

DOI10.1017/S0956796801004245MaRDI QIDQ4542147zbMATH OpenOpenAlexFDO

Authors J. B. Wells, Allyn Dimock, Robert Müller, Franklyn 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)

Recommendations

• scientific article; zbMATH DE number 1629949
• Flow-sensitive type systems and the ambient calculus
• scientific article; zbMATH DE number 1114034
• A sequent calculus for subtyping polymorphic types
• Types and full abstraction for polyadic \(\pi\)-calculus
• Publication:3478384
• scientific article; zbMATH DE number 1538021
• A type system for continuation calculus
• Rewriting calculus with(out) types
• A polymorphic environment calculus and its type-inference algorithm

Cited in

(17)

• Type-Based Productivity of Stream Definitions in the Calculus of Constructions
• A verified framework for higher-order uncurrying optimizations
• scientific article; zbMATH DE number 7559294 (Why is no real title available?)
• scientific article; zbMATH DE number 1538021 (Why is no real title available?)
• Intersection typed \(\lambda \)-calculus
• Polymorphic functions with set-theoretic types. I: Syntax, semantics, and evaluation
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
• Flow-sensitive type systems and the ambient calculus
• Quantitative Information Flow, Relations and Polymorphic Types
• scientific article; zbMATH DE number 1746456 (Why is no real title available?)
• A realizability interpretation for intersection and union types
• Strongly typed flow-directed representation transformations (extended abstract)
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
• From polyvariant flow information to intersection and union types
• Intersection-types à la Church
• scientific article; zbMATH DE number 1479622 (Why is no real title available?)
• Programming Languages and Systems

Describes a project that uses

Uses Software

• GHC

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

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