@InProceedings{motw:call-by-conf, author = "John Maraist and Martin Odersky and David N. Turner and Philip Wadler", title = "Call-by-name, call-by-value, call-by-need, and the linear lambda calculus", volume = 1, number = 1, series = "Electronic Notes in Theoretical Computer Science", pages = "41-62", year = 1995, month = "March" }