4 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Sergio Antoy, Michael Hanus, Steven Libby
We investigate proving properties of Curry programs using Agda. First, we address the functional correctness of Curry functions that, apart from some syntactic and semantic differe…