Lambda the Ultimate

i've seen various approaches to making games with functional (even sometimes pure) tools, and of course there is more than one way to skin the problem. anybody have favourite references? here are some of mine, off the top of my head:

• PLT worlds
• Monadic approaches
• James Hague
• Forms of FRP