recent posts

typetitleauthorlast post sort icon
Forum topicReasoning with inductive types hbrandl2012-03-09 14:54
Forum topicResearch in Programming Languages Sean McDirmid2012-03-10 11:01
StoryJulia, a language for technical computing Manuel J. Simoni2012-03-12 02:05
Forum topicWhat work in FRP models programs which can change the type of output and input they have? Steven StewartGallus2012-03-12 15:14
Forum topicFiltering system calls with a packet filtering language Manuel J. Simoni2012-03-15 20:57
Forum topicSoftware Cartography and Code Navigation Sean McDirmid2012-03-16 00:17
Forum topic2012 APL Programming Contest is Open Morten Kromberg2012-03-16 21:47
Forum topicParametric Grammars skaller2012-03-18 07:59
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
Forum topicLong rant on Erlang-style Actors: Lost Dimension const2012-03-20 08:57