%0 Journal Article %1 DBLP:journals/ipl/DanvyM08 %A Danvy, Olivier %A Millikin, Kevin %D 2008 %J Inf. Process. Lett. %K defunctionalization imported %N 3 %P 100-109 %T On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion %V 106

@article{DBLP:journals/ipl/DanvyM08, added-at = {2010-08-24T13:27:55.000+0200}, author = {Danvy, Olivier and Millikin, Kevin}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2fe589ebe40614da626ca1fd68f3872cb/ulricha}, ee = {http://dx.doi.org/10.1016/j.ipl.2007.10.010}, interhash = {e3d7a8b8c46723caab6111874b353099}, intrahash = {fe589ebe40614da626ca1fd68f3872cb}, journal = {Inf. Process. Lett.}, keywords = {defunctionalization imported}, number = 3, owner = {ulricha}, pages = {100-109}, timestamp = {2010-08-24T13:36:25.000+0200}, title = {On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion}, volume = 106, year = 2008 }