Warnings for pattern matching

DOI10.1017/S0956796807006223zbMATH Open1118.68042OpenAlexW2164474969MaRDI QIDQ3444659

Luc Maranget

Publication date: 4 June 2007

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796807006223

zbMATH Keywords

ML pattern-matching anomalies

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (1)

Translation Correctness for First-Order Object-Oriented Pattern Matching

Uses Software

• Haskell
• OCaml
• GHC

This page was built for publication: Warnings for pattern matching

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