Skip to main content

1 Result(s)

within **njiang Hu Remove this filter Immunology Remove this filter Logics and Meanings of Programs Remove this filter Programming Techniques Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Gradual Refinement

    Pattern matching is advantageous for understanding and reasoning about function definitions, but it tends to tightly couple the interface and implementation of a datatype. Significant effort has been invested ...

    Meng Wang, Jeremy Gibbons, Kazutaka Matsuda… in Mathematics of Program Construction (2010)