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.
alt Hacker News
Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.