Leland McInnes

typetitleauthorlast post sort icon
Forum topicAutoTest - Automated contract based testing for Eiffel Leland McInnes2006-10-06 16:59
Forum topicClosures for Java or money back el-vadimo2006-09-23 19:16
Forum topicAdvantages of Soft Typing Curtis W2006-08-29 22:21
Forum topicYour favourite editor/IDE Josef Svenningsson2006-08-27 07:38
Forum topicFirst Class Values, Types as values within a Programming Language Bruce Rennie2006-07-20 00:50
Forum topicThe World's Most Maintainable Programming Language raould2006-07-11 22:20
Forum topicOxymoronic? "Safety-critical development guidelines for real-time Java" raould2006-07-01 15:52
Forum topicRules for Developing Safety-Critical Code Peter J. Wasilko2006-06-25 21:26
Forum topicRelevance of Curry-Howard Klaus Ostermann2006-06-12 13:36
Forum topicReturn of the Global Variables? Koray Can2006-06-08 07:31
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