10 citations · 21 across the 8 of their papers we have counts for
1 paper · 2 filters
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…