6 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Joachim Breitner, Brian Huffman, Neil Mitchell +1
We present the HOLCF-Prelude, a formalization of a large part of Haskell's standard prelude in Isabelle/HOLCF. Applying this formalization to the hints suggested by HLint allows us…