Focusing on pattern matching

DOI10.1145/1480881.1480927zbMATH Open1315.68100OpenAlexW2076578036MaRDI QIDQ5261534FDOQ5261534

Neelakantan R. Krishnaswami

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480927

Recommendations

• Adaptive pattern matching
• Adaptive Pattern Matching
• Tree pattern matching with a more general notion of occurrence of the pattern.
• A new look at pattern matching in abstract data types
• A typed pattern calculus

zbMATH Keywords

Curry-Howard correspondencepattern matchingtype theoryfocusing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Cited In (3)

• Structural Focalization
• Elaborating dependent (co)pattern matching: No pattern left behind
• Pattern Matching

This page was built for publication: Focusing on pattern matching

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