Modular Verification of Higher-Order Functional Programs.

Ryosuke Sato, Naoki Kobayashi

Browse the full ESOP paper archive.