Dave Menendez

typetitleauthorlast post sort icon
Forum topicWhy Lists? David B. Held2005-11-01 21:15
StoryLINQ BOF at OOPSLA Erik Meijer2005-10-22 03:09
Forum topic"The Anatomy of a Loop" el-vadimo2005-10-09 19:02
Forum topicNemerle and C# 3.0 Chris2005-09-21 17:16
Forum topicHaskell and creative freedom Nathan Sobo2005-09-16 00:08
StoryDistributive laws for the Coinductive Solution of Recursive Equations Ehud Lamm2005-09-14 02:56
Forum topicObjective scientific proof of OOP's validity? Don't need no stinkun' proof. Riaan Moll2005-08-21 18:49
Forum topicSyntax Design C G2005-08-19 14:11
StoryAn interview with Chris Date Chris Rathman2005-08-12 21:17
StoryGuarded Induction and Weakly Final Coalgebras in Dependent Type Theory Andris Birkmanis2005-08-08 17:23
Forum topicFunctions as Classes: Which languages? cdiggins2005-07-02 12:45
StoryHow To Read a Paper Ehud Lamm2005-06-27 11:09
StoryA Monadic Framework for Subcontinuations Andris Birkmanis2005-06-24 14:19
StoryJudy Stores Mark Evans2005-06-04 13:44
Forum topicWhat is so bad about compiling? Hank Thediek2005-06-03 15:44
Forum topicCall for Papers: ACM Symposium on Dynamic Languages rwuyts2005-05-17 17:28
Forum topicIntroduction to computability logic Andris Birkmanis2005-04-25 07:51
Forum topicThe HM system does not have principal typings for all terms Andris Birkmanis2005-02-26 07:26
StoryO'Haskell - a functional object-oriented concurrent PL Andris Birkmanis2005-01-23 02:22
StoryWhitespace Andris Birkmanis2004-10-21 14:12
StoryWikiTalk Ehud Lamm2004-10-01 06:36
Forum topicApple Flunks First Grade Math Frank Atanassow2004-09-13 14:59
Story Wobbly types Bryn Keller2004-07-25 04:21