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

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-34175-6_10 ◽

2019 ◽

pp. 181-201

Author(s):

Masayuki Mizuno ◽

Eijiro Sumii

Download Full-text