Call-by-name, call-by-value, call-by-need, and the linear lambda calculus


Published in:
Theoretical Computer Science, 228
Year:
1999
Laboratories:




 Record created 2006-01-24, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)