APA (7th ed.) Citation

Mainland, G. (2017). Better living through operational semantics: An optimizing compiler for radio protocols. Proceedings of ACM on programming languages, 1(ICFP), 1-26. https://doi.org/10.1145/3110263

Chicago Style (17th ed.) Citation

Mainland, Geoffrey. "Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols." Proceedings of ACM on Programming Languages 1, no. ICFP (2017): 1-26. https://doi.org/10.1145/3110263.

MLA (9th ed.) Citation

Mainland, Geoffrey. "Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols." Proceedings of ACM on Programming Languages, vol. 1, no. ICFP, 2017, pp. 1-26, https://doi.org/10.1145/3110263.