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
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