Model-Checking Higher-Order Programs with Recursive Types.

Naoki Kobayashi, Atsushi Igarashi

Browse the full ESOP paper archive.