Reconciling exhaustive pattern matching with objects

@inproceedings{Isradisaikul2013ReconcilingEP,
  title={Reconciling exhaustive pattern matching with objects},
  author={Chinawat Isradisaikul and Andrew C. Myers},
  booktitle={PLDI},
  year={2013}
}
A Proposed Collaborative Approach for Pattern Matching and Replacement Policies for the Design of Peephole Optimizer
In the perspective of peephole optimization, this paper describes a framework that approaches a collaborative fashion for the pattern matching and replacement strategies on the basis of formal
Reconciling exhaustive pattern matching with objects
TLDR
This work extends modal abstraction in the JMatch language to support static, modular reasoning about exhaustiveness and redundancy, and introduces expressive pattern-matching constructs.