Monads in Haskell

If you don't already know monads from category theory, you might like this introduction, which also doesn't require a lot of knowledge of haskell syntax:
http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html

Otherwise http://www.haskell.org/tutorial/monads.html seems good.

Cloaking devices

Just because it is fancy: http://skullsinthestars.com/2009/06/19/invisibility-physics-hiding-and-seeking-all-at-once/

Space law

Just because I recently had a short discussion involving laws in space, two links:

Outer Space Treaty and International Institute of Space Laq

QML

QML is a functional language for quantum computation on finite types.
See http://sneezy.cs.nott.ac.uk/QML/index.html for the project homepage. Check the phd-thesis for extensive information on it: http://sneezy.cs.nott.ac.uk/qml/compiler