Complete Abstractions for Verification of Polymorphic Functions with Equality.

Malo Revel, Thomas Genet, Thomas P. Jensen

Browse the full ESOP paper archive.