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

by Seyed H. Haeri
Citations:1 - 0 self