From MinX to MinC: semantics-driven decompilation of recursive datatypes.

Edward Robbins, Andy King, Tom Schrijvers

Browse the full POPL paper archive.