Gradual Refinement Blending Pattern Matching with Data Abstraction (MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2010)

(untitled) - Wang, M; Gibbons, J; Matsuda, K; Hu, Z