Patrick Bahr. Calculating Certified Compilers for Non-deterministic Languages. In Ralf Hinze, Janis Voigtländer, editors, Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Volume 9129 of Lecture Notes in Computer Science, pages 159-186, Springer, 2015. [doi]
@inproceedings{Bahr15, title = {Calculating Certified Compilers for Non-deterministic Languages}, author = {Patrick Bahr}, year = {2015}, doi = {10.1007/978-3-319-19797-5_8}, url = {http://dx.doi.org/10.1007/978-3-319-19797-5_8}, researchr = {https://researchr.org/publication/Bahr15}, cites = {0}, citedby = {0}, pages = {159-186}, booktitle = {Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings}, editor = {Ralf Hinze and Janis Voigtländer}, volume = {9129}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-19796-8}, }