28 citations · 56 across the 20 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013★ 4 cited
A Haskell Library for Term Rewriting
Bertram Felgenhauer, Martin Avanzini, Christian Sternagel
We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by th…
cs.LO2013★ 2 cited
Certified HLints with Isabelle/HOLCF-Prelude
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…