3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Xavier Leroy, Hervé Grall
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to de…