%0 Conference Paper %1 conf/esop/ShiversW05 %A Shivers, Olin %A Wand, Mitchell %B ESOP %D 2005 %E Sagiv, Shmuel %I Springer %K dblp %P 217-232 %T Bottom-Up beta-Reduction: Uplinks and lambda-DAGs. %U http://dblp.uni-trier.de/db/conf/esop/esop2005.html#ShiversW05 %V 3444 %@ 3-540-25435-8

@inproceedings{conf/esop/ShiversW05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Shivers, Olin and Wand, Mitchell}, biburl = {https://www.bibsonomy.org/bibtex/2746f050b10f83a88d518f63f47ed525e/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2005}, editor = {Sagiv, Shmuel}, ee = {https://doi.org/10.1007/978-3-540-31987-0_16}, interhash = {b18ce057984dc0c96b2555ed0f5fa484}, intrahash = {746f050b10f83a88d518f63f47ed525e}, isbn = {3-540-25435-8}, keywords = {dblp}, pages = {217-232}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {Bottom-Up beta-Reduction: Uplinks and lambda-DAGs.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2005.html#ShiversW05}, volume = 3444, year = 2005 }