[Haskell-cafe] In what language...?

[Andrew Coppin]

  Yesterday I read a rather interesting paper:

http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf

It's fascinating stuff, and I *think* I understand the gist of what it's 
saying. However, the paper is utterly festooned with formulas that look 
so absurdly over-the-top that they might almost be a spoof of a 
mathematical formula rather than the real thing. A tiny fraction of the 
notation is explained in the paper, but the rest is simply "taken to be 
obvious". The paper also uses several ordinary English words in a way 
that suggests that they are supposed to have a more specific technical 
meaning - but I have no idea what.

Does anybody have any idea which particular dialect of pure math this 
paper is speaking? (And where I can go read about it...)