Uniqueness Typing Redefined

DOI10.1007/978-3-540-74130-5_11MaRDI QIDQ3612953zbMATH OpenOpenAlexFDO

Authors Edsko Devries, Rinus Plasmeijer, David M. Abrahamson

Publication date 11 March 2009

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2066/34864

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1231477
• Uniqueness logic
• scientific article; zbMATH DE number 969070
• Modelling unique and affine typing using polymorphism
• Guaranteeing safe destructive updates through a type system with uniqueness information for graphs

Cited in

(8)

• The locally nameless representation
• Graded modal dependent type theory
• Uniqueness logic
• scientific article; zbMATH DE number 1231477 (Why is no real title available?)
• Cogent: uniqueness types and certifying compilation
• Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
• Modelling unique and affine typing using polymorphism
• Linearity and uniqueness: an entente cordiale

This page was built for publication: Uniqueness Typing Redefined

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