typetitleauthorlast post sort icon
Forum topicCan one avoid monads? raould2005-11-10 20:18
Forum topicIvory, an experimental declarative programming system AlasdairScott2005-11-10 09:49
Forum topicInvariants/Contracts vs. types dbfaken2005-11-08 22:31
Forum topicImplementing Higher Order Messages ade_oshineye2005-11-07 19:30
Forum topicGeometric Algebra Derek Elkins2005-11-04 00:16
StoryJust What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? Ehud Lamm2005-11-02 01:34
Forum topicPre-LINQ: rich object management in your PL raould2005-10-27 00:59
Forum topicBest default sequence? Greg Buchholz2005-10-22 01:16
Forum topicExpressions vs Statements Sebastien Pierre2005-10-21 14:28
Forum topicScalability genneth2005-10-20 15:26
Forum topicTerritorial Exception Handling raould2005-10-18 14:35
Forum topicFormal methods used in developing "profitable" software JamesLitsios2005-10-18 07:45
Forum topic(from 2004) Possibly faster Haskell raould2005-10-14 18:13
Forum topic"The Anatomy of a Loop" el-vadimo2005-10-09 19:02
Forum topicChapel: "Solving the parallel programming problem" Sean Leather2005-10-09 18:53
StoryNumber-Parameterized Types by Oleg Kiselyov shapr2005-10-05 23:24
StoryVariables as Channels Klaus Ostermann2005-10-05 22:45
Forum topicInteresting old promotional video for Intentional Programming ruin8r2005-10-05 19:59
Forum topicTypes and Proof Carrying Code: Mobius raould2005-10-05 16:39
StoryKen Shan: Shift to Control Ehud Lamm2005-10-05 12:04
Forum topicThe English-Likeness Monster ade_oshineye2005-10-04 23:04
Forum topicLooking for FP Debuggers raould2005-10-03 19:14
Forum topicAbstractions considered harmful? raould2005-10-03 19:09
Forum topicFrom Perl Monks: "pissed off about functional programming" tmoertel2005-10-03 13:04
StoryXLinq: XML Programming Refactored (The Return Of The Monoids) Erik Meijer2005-09-30 21:17