@inproceedings{atkey_2012,
 title = {The semantics of parsing with semantic actions},
 author = {Atkey, Robert},
 year = {2012},
 booktitle = {27th Annual IEEE Symposium on Logic in Computer Science (LICS)},
 url = {https://bentnib.org/semantic-actions.pdf}
}