%0 Conference Paper %1 conf/esop/KobayashiI13 %A Kobayashi, Naoki %A Igarashi, Atsushi %B ESOP %D 2013 %E Felleisen, Matthias %E Gardner, Philippa %I Springer %K dblp %P 431-450 %T Model-Checking Higher-Order Programs with Recursive Types. %U http://dblp.uni-trier.de/db/conf/esop/esop2013.html#KobayashiI13 %V 7792 %@ 978-3-642-37035-9

@inproceedings{conf/esop/KobayashiI13, added-at = {2019-10-19T00:00:00.000+0200}, author = {Kobayashi, Naoki and Igarashi, Atsushi}, biburl = {https://www.bibsonomy.org/bibtex/2d3d5b9d88771bf587da721599b998ca8/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2013}, editor = {Felleisen, Matthias and Gardner, Philippa}, ee = {https://doi.org/10.1007/978-3-642-37036-6_24}, interhash = {d9ff8ddc44847b4016ff60c105853f7a}, intrahash = {d3d5b9d88771bf587da721599b998ca8}, isbn = {978-3-642-37035-9}, keywords = {dblp}, pages = {431-450}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:59:00.000+0200}, title = {Model-Checking Higher-Order Programs with Recursive Types.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2013.html#KobayashiI13}, volume = 7792, year = 2013 }