Treffer: From SOS rules to proof principles : an operational metatheory for functional languages

Title:
From SOS rules to proof principles : an operational metatheory for functional languages
Authors:
Sands, David
Source:
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :428-441
Availability:
http://dl.acm.org/doi/10.1145/263699.263760
Database:
ACM Full-Text Collection