1 citations · 1 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020★ 1 cited
Check Your (Students') Proofs-With Holes
Dennis Renz, Sibylle Schwarz, Johannes Waldmann
Cyp (Check Your Proofs) (Durner and Noschinski 2013; Traytel 2019) verifies proofs about Haskell-like programs. We extended Cyp with a pattern matcher for programs and proof terms,…
cs.PL2018
When You Should Use Lists in Haskell (Mostly, You Should Not)
Johannes Waldmann
We comment on the over-use of lists in functional programming. With this respect, we review history of Haskell and some of its libraries, and hint at current developments.