Hello! You've probably seen me speak at South West Test in Bristol or at Cambridge University, and you want to find some resources. Here are the main ones:
I've now reproduced the talk in audio-format on Racket; visit the Testers' Island MiniDiscs tag to hear all of the short episodes.
Other references which I may or may not have remembered to drop during some version of giving the talk: