SunChrono

4 ms·

1. 1.▲
   by SunChrono 9y ago

   There's Quipper - a language for describing quantum algorithms: http://www.mathstat.dal.ca/~selinger/quipper/
2. 2.▲
   by SunChrono 9y ago

   I've spoken with a maintainer of arxiv.org... anything in "General Mathematics" shouldn't be taken too seriously.
3. 3.▲
   by SunChrono 9y ago

   Those interested in computer generated music may find some pragmatic ideas in this paper from 1989: http://peterlangston.com/Papers/amc.pdf
4. 4.▲
   by SunChrono 9y ago

   There's a click-through Terms of Service license you have to agree to.
5. 5.▲
   by SunChrono 10y ago

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