A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction (1996)

by Rémi Douence , Pascal Fradet
Citations:10 - 4 self