Focusing on pattern matching

DOI10.1145/1480881.1480927zbMath1315.68100OpenAlexW2076578036MaRDI QIDQ5261534

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

zbMATH Keywords

pattern matchingfocusingtype theoryCurry-Howard correspondence

Mathematics Subject Classification ID

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

Related Items (2)

Structural Focalization ⋮ Elaborating dependent (co)pattern matching: No pattern left behind

This page was built for publication: Focusing on pattern matching