Pattern-based calculi with finitary matching

DOI10.1093/JIGPAL/JZX059MaRDI QIDQ5095633zbMATH OpenOpenAlexFDO

Authors Sandra Alves, B. Dundua, Mário Florido, Temur Kutsia

Publication date 10 August 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzx059

zbMATH Keywords

functional programmingconfluencelambda calculuspattern calculusfinitary matching

Mathematics Subject Classification ID

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

Recommendations

• Programming Languages and Systems
• Bimonadic Semantics for Basic Pattern Matching Calculi
• scientific article; zbMATH DE number 2090072
• Confluence of Pattern-Based Calculi
• A typed pattern calculus
• Pattern Calculus
• scientific article; zbMATH DE number 2186938
• Computability via the lambda calculus with patterns
• Refined compilation of pattern-matching for functional languages

Cited in

(5)

• Confluence of Pattern-Based Calculi
• A sheaf-theoretic approach to pattern matching and related problems
• Bimonadic Semantics for Basic Pattern Matching Calculi
• A note on confluence in typed probabilistic lambda calculi
• scientific article; zbMATH DE number 7756108 (Why is no real title available?)

This page was built for publication: Pattern-based calculi with finitary matching

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