2 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
Härmel Nestra
Ability to use definitions occurring in the code directly in equational reasoning is one of the key strengths of functional programming. This is impossible in the case of Haskell t…