@INPROCEEDINGS{BrasselFHHV07ICFP,
author       = {B. Bra{\ss}el and S. Fischer and M. Hanus and F. Huch and G. Vidal},
title        = {Lazy Call-By-Value Evaluation},
year         = {2007},
booktitle    = {Proceedings of the 12th ACM SIGPLAN International Conference
                  on Functional Programming (ICFP'07)},
pages        = {265 -- 276}
}