Modelling Unique and Affine Typing Using Polymorphism

DOI10.1007/978-3-642-40355-2_13zbMath1405.68065OpenAlexW2188606489MaRDI QIDQ5410455

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)

Related Items (1)

Linearity and uniqueness: an entente cordiale

Uses Software

• CLEAN

Cites Work

• Unnamed Item
• Linear logic
• A step-indexed model of substructural state
• Uniqueness typing for resource management in message-passing concurrency
• Single Assignment C: efficient support for high-level array operations in a functional setting
• Uniqueness Typing Redefined
• A generic usage analysis with subeffect qualifiers

This page was built for publication: Modelling Unique and Affine Typing Using Polymorphism