Optimizing pattern matching

DOI10.1145/507635.507641zbMath1323.68189OpenAlexW2057405511MaRDI QIDQ5177995

Fabrice le Fessant, Luc Maranget

Publication date: 9 March 2015

Published in: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (2)

Translation Correctness for First-Order Object-Oriented Pattern Matching ⋮ Unnamed Item

Uses Software

• OCaml

This page was built for publication: Optimizing pattern matching