Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion.

Masayuki Mizuno, Eijiro Sumii

Browse the full APLAS paper archive.