raould

typetitleauthor sort iconlast post
Forum topicFunctional libraries for Java shahbaz2006-01-19 01:19
Forum topicUnderstanding the Dynamic Nature of a Program raould2005-12-22 23:47
StoryBack to the future... Ehud Lamm2005-12-14 23:58
Forum topicThe breaking point of language usability? raould2005-12-12 15:35
Forum topicThe Language Machine - a toolkit for language and grammar Peri Hankey2005-11-30 10:32
StoryPutting Curry-Howard to Work Andris Birkmanis2005-11-21 18:55
StoryBattling Bugs: A Digital Quagmire Paul Snively2005-11-16 21:30
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