type sort icontitleauthorlast post
Forum topicThe Platonic Solids of Software Construction and Their Realization in C bryanedds2017-09-29 19:00
Forum topicBranch Forward Only Greg Buchholz2016-07-29 20:58
StoryApple Introduces Swift bashyal2014-08-21 17:54
StoryWhat Are The Resolved Debates in General Purpose Language Design? James Iry2014-03-31 20:55
Forum topicMinimal implementation of state machines giuseppemag2014-02-01 05:12
StoryThe Genuine Sieve of Eratosthenes Ehud Lamm2013-10-26 21:32
Forum topicBeyond FRP: physics-inspired programming abstractions? Sean McDirmid2013-08-22 19:13
Forum topicNesting of quasi-quotation Jules Jacobs2013-05-08 03:50
Forum topicHow to Generate (Hard) Real-Time Code from Declarative Programming Languages? bryanedds2012-03-29 23:06
StoryWhy Object-Oriented Languages Need Tail Calls Leon P Smith2011-10-01 21:58
StoryGetting Started Ehud Lamm2011-03-16 17:43
Forum topicGo or Unladen Swallow? Srikumar Subramanian2011-02-07 08:56
Forum topicTheoretical Computer Science StackExchange Beta now open S. Clover2010-08-30 20:58
StoryA few billion lines of code later: using static analysis to find bugs in the real world Allan McInnes2010-04-23 11:28
Forum topicSeeking broad survey of wide range of concurrency idioms scottmcl2009-11-06 19:57
Forum topicseeking help: approaches to model based development? raould2009-08-10 21:35
StoryModern dynamic linking infrastructure for PLT Manuel J. Simoni2009-07-01 18:06
StoryForth Dimensions Luke Gorrie2009-05-28 19:58
StoryLinear Logic and Permutation Stacks--The Forth Shall Be First Luke Gorrie2009-03-14 06:49
Forum topicIntroducing Dawn - yet another new language Poul Krogh2009-02-06 09:07
Forum topicFunctional anti-memoization Greg Buchholz2009-01-26 17:46
Forum topicA tutorial on implemeting type inference? ellisk2008-11-16 18:43
Forum topicIs null needed? BigZaphod2008-08-09 00:52
StoryComputational Thinking Daniel Yokomizo2008-06-02 23:50
Forum topicExcel as a different programming paradigm raould2008-03-29 20:14