Gradual Refinement.

Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu

Browse the full MPC paper archive.