Anything written by John Hughes is worth a read. He also also wrote quickcheck.
Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.