[peterpost2]

Anything written by John Hughes is worth a read. He also also wrote quickcheck.

[nextos]

Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.

[peterpost2]

I had not heard of Agda before, I'll have to check that out. Thanks!