MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.

Javier Leach, Susana Nieva

Browse the full LPAR paper archive.