%0 Conference Paper %1 journals/corr/abs-1210-3115 %A Krebbers, Robbert %B CL&C %D 2012 %E Geuvers, Herman %E de'Liguoro, Ugo %K dblp %P 19-33 %T A call-by-value lambda-calculus with lists and control %U http://dblp.uni-trier.de/db/series/eptcs/eptcs97.html#abs-1210-3115 %V 97

@inproceedings{journals/corr/abs-1210-3115, added-at = {2018-09-12T00:00:00.000+0200}, author = {Krebbers, Robbert}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28ab214f698cd6a4259cedfea449bffa5/dblp}, booktitle = {CL&C}, crossref = {journals/corr/abs-1210-2890}, editor = {Geuvers, Herman and de'Liguoro, Ugo}, ee = {http://arxiv.org/abs/1210.3115}, interhash = {994f1abfa36be5db9e6158d83094c5e1}, intrahash = {8ab214f698cd6a4259cedfea449bffa5}, keywords = {dblp}, pages = {19-33}, series = {EPTCS}, timestamp = {2019-09-27T12:28:34.000+0200}, title = {A call-by-value lambda-calculus with lists and control}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs97.html#abs-1210-3115}, volume = 97, year = 2012 }