type sort icontitleauthorlast post
Forum topicAlexander Bumstead learns the Lambda Calculus tim finin2013-11-05 07:12
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
Forum topicStupid Question. Matt Estes2009-06-26 20:47
Forum topicthe Chinese natual language Zhu Chongkai2009-06-01 13:06
StoryJoshua Bloch: "Nearly All Binary Searches Broken" Ehud Lamm2009-05-15 15:20
Forum topichelp with understanding combinatory logic happycow2008-06-10 08:13
Forum topicsuccinctness Curtis W2008-05-28 19:57
Forum topicprogramming languages and facial hair J Storrs Hall2008-05-07 17:50
Forum topicFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem) cdiggins2008-04-22 17:11
Forum topicLearning language design vishal2008-03-05 17:28
Forum topicPlease help find a paper/tutorial roy_hu2008-02-25 05:00
Forum topicfoundations for J, APL etc shoe2008-01-27 19:55
Forum topicInduction of variadic functions, functions over tuples, etc. shoe2008-01-23 08:03
StoryS has a left inverse Charles Stewart2007-12-12 16:25
Forum topicPL research & grad schools? dataangel2007-11-20 22:47
Forum topicThe simplest mechanism with Turing-equivalent power to date ... Mario B.2007-11-18 21:05
Forum topicComputing is a Natural Science Hank Thediek2007-10-15 20:49
Forum topicLectures on the Curry-Howard Isomorphism Ehud Lamm2007-08-28 17:18
Forum topicWhoever does not understand LISP, is doomed to reinvent it. kaveh.shahbazian2007-07-22 19:46
StoryHOPL-III: Statecharts in the Making Chris Rathman2007-07-11 16:56
Story50 years of “Syntactic Structures” Ehud Lamm2007-02-13 03:31
Forum topicWant to do undergraduate research, but CS dept is weak... MTaylor2007-02-02 14:39
Forum topicWhy Johnny can't code Matthew Willson2007-01-04 22:54
Forum topicWhy type systems are interesting - part II Ehud Lamm2006-12-08 01:38
Forum topicGamma formalism Kay Schluehr2006-07-28 22:35