David Sands. From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 428-441, 1997. [doi]
@inproceedings{Sands97:0, title = {From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages}, author = {David Sands}, year = {1997}, doi = {10.1145/263699.263760}, url = {http://doi.acm.org/10.1145/263699.263760}, tags = {rule-based, SOS, principles, rules, metatheory}, researchr = {https://researchr.org/publication/Sands97%3A0}, cites = {0}, citedby = {0}, pages = {428-441}, booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, }