Mikael Pettersson. A Compiler for Natural Semantics. In Tibor Gyimóthy, editor, Compiler Construction, 6th International Conference, CC 96, Linköping, Sweden, April 24-26, 1996, Proceedings. Volume 1060 of Lecture Notes in Computer Science, pages 177-191, Springer, 1996.
@inproceedings{Pettersson96, title = {A Compiler for Natural Semantics}, author = {Mikael Pettersson}, year = {1996}, tags = {semantics, compiler}, researchr = {https://researchr.org/publication/Pettersson96}, cites = {0}, citedby = {0}, pages = {177-191}, booktitle = {Compiler Construction, 6th International Conference, CC 96, Linköping, Sweden, April 24-26, 1996, Proceedings}, editor = {Tibor Gyimóthy}, volume = {1060}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61053-7}, }