Modelling unique and affine typing using polymorphism

DOI10.1007/978-3-642-40355-2_13MaRDI QIDQ5410455zbMATH OpenOpenAlexFDO

Authors Edsko Devries

Publication date 16 April 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40355-2_13

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Uniqueness Typing Redefined
• Uniqueness logic
• scientific article; zbMATH DE number 969070
• scientific article; zbMATH DE number 1231477
• A generic usage analysis with subeffect qualifiers

Cites work

• A generic usage analysis with subeffect qualifiers
• A step-indexed model of substructural state
• scientific article; zbMATH DE number 969070 (Why is no real title available?)
• Linear logic
• Single Assignment C: efficient support for high-level array operations in a functional setting
• Uniqueness typing for resource management in message-passing concurrency
• Uniqueness Typing Redefined

Cited in

(5)

• Filter models with polymorphic types
• Uniqueness logic
• Uniqueness Typing Redefined
• scientific article; zbMATH DE number 1231477 (Why is no real title available?)
• Linearity and uniqueness: an entente cordiale

Describes a project that uses

Uses Software

• CLEAN

This page was built for publication: Modelling unique and affine typing using polymorphism

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