%0 Conference Paper %1 conf/icfp/NeisHKMDV15 %A Neis, Georg %A Hur, Chung-Kil %A Kaiser, Jan-Oliver %A McLaughlin, Craig %A Dreyer, Derek %A Vafeiadis, Viktor %B ICFP %D 2015 %E Fisher, Kathleen %E Reppy, John H. %I ACM %K %P 166-178 %T Pilsner: a compositionally verified compiler for a higher-order imperative language. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2015.html#NeisHKMDV15 %@ 978-1-4503-3669-7

@inproceedings{conf/icfp/NeisHKMDV15, added-at = {2023-12-12T19:46:41.000+0100}, author = {Neis, Georg and Hur, Chung-Kil and Kaiser, Jan-Oliver and McLaughlin, Craig and Dreyer, Derek and Vafeiadis, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/296b956dc9897f08c015d8576c47b5aa0/admin}, booktitle = {ICFP}, crossref = {conf/icfp/2015}, editor = {Fisher, Kathleen and Reppy, John H.}, ee = {https://doi.org/10.1145/2784731.2784764}, interhash = {25e86e41b14665d080e4788132ed08de}, intrahash = {96b956dc9897f08c015d8576c47b5aa0}, isbn = {978-1-4503-3669-7}, keywords = {}, pages = {166-178}, publisher = {ACM}, timestamp = {2023-12-12T19:46:41.000+0100}, title = {Pilsner: a compositionally verified compiler for a higher-order imperative language.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2015.html#NeisHKMDV15}, year = 2015 }