A Program Inverter for a Functional Language with Equality and Constructors.

Robert Glck, Masahiko Kawabe

Browse the full APLAS paper archive.