Author:
Klein Casey,McCarthy Jay,Jaconette Steven,Findler Robert Bruce
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Ariola, Z.M., Felleisen, M.: The Call-by-Need Lambda-Calculus. J. Functional Programming 7(3), 265–301 (1997)
2. Lecture Notes in Computer Science;B.E. Aydemir,2005
3. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland (1984)
4. Chang, S., Felleisen, M.: The Call-by-need Lambda Calculus (unpublished manuscript, 2011)
5. Danvy, O., Nielsen, L.R.: Refocusing in Reduction Semantics. Aarhus University, BRICS RS-04-26 (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献