User patrick tam - MathOverflowmost recent 30 from http://mathoverflow.net2013-05-24T13:59:12Zhttp://mathoverflow.net/feeds/user/1369http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/3721/programming-languages-based-on-category-theoryProgramming Languages based on Category TheoryPatrick Tam2009-11-02T01:14:53Z2010-08-29T16:53:25Z
<p>Since some computer scientists use category theory, I was wondering if there are any programming languages that use it extensively.</p>