Decision procedures for algebraic data types with abstractions.

Philippe Suter, Mirco Dotta, Viktor Kuncak

Browse the full POPL paper archive.