Reasoning about selective strictness: operational equivalence, heaps and call-by-need evaluation, new inductive principles (2009)

by Murdoch J Gabbay, Seyed H HAERI
Venue:ICFP’09: Fouteenth ACM SIGPLAN International Conference on Functional Programming