Intersection types for unbind and rebind

MaRDI QIDQ4964691zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1101.4426, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2010.4

Mathematics Subject Classification ID

Type theory (03B38) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Extending the lambda-calculus with unbind and rebind
• Type safe incremental rebinding
• Infinite intersection types
• The untyped computational \(\lambda \)-calculus and its intersection type discipline
• Intersection type systems and explicit substitutions calculi

Cited in

(3)

• Type safe incremental rebinding
• Extending the lambda-calculus with unbind and rebind
• Incremental rebinding with name polymorphism

This page was built for publication: Intersection types for unbind and rebind

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