typetitleauthorlast post sort icon
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
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