SunChrono

There's Quipper - a language for describing quantum algorithms:

http://www.mathstat.dal.ca/~selinger/quipper/

I've spoken with a maintainer of arxiv.org... anything in "General Mathematics" shouldn't be taken too seriously.

Those interested in computer generated music may find some pragmatic ideas in this paper from 1989:

http://peterlangston.com/Papers/amc.pdf

There's a click-through Terms of Service license you have to agree to.

dynamic programming can be very declarative in Haskell: http://lpaste.net/172965