Gradual Refinement Blending Pattern Matching with Data Abstraction

by Meng Wang , Jeremy Gibbons , Kazutaka Matsuda , Zhenjiang Hu
Citations:6 - 3 self