%0 Conference Paper %1 conf/ifl/BentonKLR04 %A Benton, Nick %A Kennedy, Andrew %A Lindley, Sam %A Russo, Claudio V. %B IFL %D 2004 %E Grelck, Clemens %E Huch, Frank %E Michaelson, Greg %E Trinder, Philip W. %I Springer %K dblp %P 142-159 %T Shrinking Reductions in SML.NET. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2004.html#BentonKLR04 %V 3474 %@ 3-540-26094-3

@inproceedings{conf/ifl/BentonKLR04, added-at = {2017-05-25T00:00:00.000+0200}, author = {Benton, Nick and Kennedy, Andrew and Lindley, Sam and Russo, Claudio V.}, biburl = {https://www.bibsonomy.org/bibtex/24198bf7dbf9705a4a11d56c8cc2c8457/dblp}, booktitle = {IFL}, crossref = {conf/ifl/2004}, editor = {Grelck, Clemens and Huch, Frank and Michaelson, Greg and Trinder, Philip W.}, ee = {https://doi.org/10.1007/11431664_9}, interhash = {030a8310d954b0b615f069fefb35d14a}, intrahash = {4198bf7dbf9705a4a11d56c8cc2c8457}, isbn = {3-540-26094-3}, keywords = {dblp}, pages = {142-159}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:27:13.000+0200}, title = {Shrinking Reductions in SML.NET.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2004.html#BentonKLR04}, volume = 3474, year = 2004 }