Type-Based Decompilation (or Program Reconstruction via Type Reconstruction).

Alan Mycroft

Browse the full ESOP paper archive.