Categorical organisation of the ornament–refinement framework (Submitted to POPL'14, 2013)

(untitled) - Ko, H; Gibbons, J