%0 Conference Paper %1 conf/esop/FeltmanAAF16 %A Feltman, Nicolas %A Angiuli, Carlo %A Acar, Umut A. %A Fatahalian, Kayvon %B ESOP %D 2016 %E Thiemann, Peter %I Springer %K dblp %P 255-281 %T Automatically Splitting a Two-Stage Lambda Calculus. %U http://dblp.uni-trier.de/db/conf/esop/esop2016.html#FeltmanAAF16 %V 9632 %@ 978-3-662-49497-4

@inproceedings{conf/esop/FeltmanAAF16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Feltman, Nicolas and Angiuli, Carlo and Acar, Umut A. and Fatahalian, Kayvon}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21c4414501c16c937dea510d11b86274a/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2016}, editor = {Thiemann, Peter}, ee = {https://doi.org/10.1007/978-3-662-49498-1_11}, interhash = {9a9906dc82f86e276902f547ea5f86fa}, intrahash = {1c4414501c16c937dea510d11b86274a}, isbn = {978-3-662-49497-4}, keywords = {dblp}, pages = {255-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:30:32.000+0200}, title = {Automatically Splitting a Two-Stage Lambda Calculus.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2016.html#FeltmanAAF16}, volume = 9632, year = 2016 }