Leland McInnes

typetitleauthor sort iconlast post
StoryAda UK Conference 2006 (slides & videos) Ehud Lamm2006-06-02 15:38
StoryProofs are Programs: 19th Century Logic and 21st Century Computing shapr2006-05-30 17:35
Forum topicLambda the Ultimate Set Comprehension xyzzy2006-05-17 06:05
Forum topicThe fundamental difference between Sets and Lists? Robbert van Dalen2006-04-27 12:55
Forum topicThe R Project Leon P Smith2006-04-08 19:29
Forum topicACM Queue: On Usability of Programming Languages raould2006-03-20 14:59
StoryWhen is one thing equal to some other thing? Ehud Lamm2006-03-16 14:55
Forum topicWeak vs. strong typing Joel Reymont2006-02-03 18:36
Forum topicThe building of robust software mjstahl2005-12-02 19:17
StoryPutting Curry-Howard to Work Andris Birkmanis2005-11-21 18:55
Forum topicInvariants/Contracts vs. types dbfaken2005-11-08 22:31
Forum topicGeometric Algebra Derek Elkins2005-11-04 00:16