From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages.

David Sands

Browse the full POPL paper archive.