Gradual Refinement Blending Pattern Matching with Data Abstraction

by Meng Wang , Jeremy Gibbons , Kazutaka Matsuda , Zhenjiang Hu
Citations:4 - 2 self

Document Versions

Gradual Refinement Blending Pattern Matching with Data Abstraction –Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
Gradual refinement: Blending pattern matching with data abstraction –Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu — 2010 — In Mathematics of Program Construction, Proceedings, volume 6120 of LNCS