Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles (2009)

Cached

Download Links

by Seyed H. Haeri (Hossein)