%0 Conference Paper %1 conf/esop/OwensMKT16 %A Owens, Scott %A Myreen, Magnus O. %A Kumar, Ramana %A Tan, Yong Kiam %B ESOP %D 2016 %E Thiemann, Peter %I Springer %K dblp %P 589-615 %T Functional Big-Step Semantics. %U http://dblp.uni-trier.de/db/conf/esop/esop2016.html#OwensMKT16 %V 9632 %@ 978-3-662-49497-4

@inproceedings{conf/esop/OwensMKT16, added-at = {2017-06-02T00:00:00.000+0200}, author = {Owens, Scott and Myreen, Magnus O. and Kumar, Ramana and Tan, Yong Kiam}, biburl = {https://www.bibsonomy.org/bibtex/24cf06e4e119a0389dfea2ccae0f14d0e/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2016}, editor = {Thiemann, Peter}, ee = {https://doi.org/10.1007/978-3-662-49498-1_23}, interhash = {6f0352e9436954e5e13a16ecba8d0966}, intrahash = {4cf06e4e119a0389dfea2ccae0f14d0e}, isbn = {978-3-662-49497-4}, keywords = {dblp}, pages = {589-615}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-24T11:39:54.000+0100}, title = {Functional Big-Step Semantics.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2016.html#OwensMKT16}, volume = 9632, year = 2016 }