Towards Haskell in the Cloud (2011)
Alice Through the Looking Glass (2004)
Concurrency Oriented Programming in Termite Scheme (2006)
Type-safe distributed programming with ML5 (2007)
MBrace: cloud computing with monads (2013) & MBrace Programming Model (Tutorial)