A calculus with polymorphic and polyvariant flow types
From MaRDI portal
Publication:4542147
DOI10.1017/S0956796801004245zbMATH Open1005.68042OpenAlexW2020543669MaRDI QIDQ4542147FDOQ4542147
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Quantitative Information Flow, Relations and Polymorphic Types
- Flow-sensitive type systems and the ambient calculus
- Title not available (Why is that?)
- A realizability interpretation for intersection and union types
- Strongly typed flow-directed representation transformations (extended abstract)
- From polyvariant flow information to intersection and union types
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
- Intersection-types à la Church
- Title not available (Why is that?)
- Programming Languages and Systems
Uses Software
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)
