Combining higher-order model checking with refinement type inference.

Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi

Browse the full PEPM paper archive.