Pure pattern calculus à la de Bruijn

DOI10.1016/J.ENTCS.2020.08.006MaRDI QIDQ2229151zbMATH OpenOpenAlexWikidataFDO

Authors A. Ríos, Andrés Viso, Alexis Martin

Publication date 22 February 2021

Full work available at URL https://arxiv.org/abs/2006.07674

zbMATH Keywords

pattern matching\(\alpha\)-equivalencepattern calculide Bruijn indices

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 2185721 (Why is no real title available?)
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 3659007 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Efficient type checking for path polymorphism
• First-class patterns
• Higher-order rewrite systems and their confluence
• Lambda calculus with patterns
• Normalisation for dynamic pattern calculi
• On abstract normalisation beyond neededness
• Pattern Calculus
• Pattern matching as cut elimination
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Programming Languages and Systems
• Pure pattern calculus à la de Bruijn
• Type soundness for path polymorphism
• Typed path polymorphism
• de Bruijn Indices for Metaterms

Cited in

(1)

• Pure pattern calculus à la de Bruijn

This page was built for publication: Pure pattern calculus à la de Bruijn

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