typetitleauthor sort iconlast post
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
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
StoryGottfried Wilhelm Leibniz Niels Hoogeveen2006-07-01 15:34
Forum topicThe Role of Type Equality in Meta-Programming Niels Hoogeveen2006-06-26 15:49
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicPurity in PLT Jim Apple2006-04-08 10:56
Forum topicProgramming: 50, 100 years from now shahbaz2006-04-03 17:51
StorySpring School on Datatype-Generic Programming 2006 Ehud Lamm2006-01-24 19:14
Forum topicAccording to Allen Holub programming is now a liberal art. When did this happen? ade_oshineye2005-04-16 22:46
StoryThe DSL, MDA, UML thing again... Ehud Lamm2005-02-04 10:08
Forum topicOld computer science and technical books worth searching for James Hague2004-07-23 18:01