Gradual Refinement Blending Pattern Matching with Data Abstraction

by Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu