Leland McInnes

typetitle sort iconauthorlast post
Forum topicWhat is Intuitive? raould2016-05-12 23:55
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
StoryGuido: Language Design Is Not Just Solving Puzzles Ehud Lamm2011-01-05 17:06
StoryThe Galois connection between syntax and semantics Ehud Lamm2010-06-19 01:47
Forum topicruby vs python shahbaz2009-09-21 10:28
Forum topicTyping a function which includes its axioms? Bryan Turner2008-09-17 22:35
Forum topicFunctional Programming in the ACM CS Curriculum mwand2008-07-19 22:42
Forum topicCategory theory in design jdgallag2008-05-29 15:49
Forum topicUnderstanding category theory and its practical applications Winheim Raulsh2008-05-26 05:25
Forum topicNon-null references? Mike Hearn2008-03-14 21:05
StoryAn Overview of the Singularity Project Ehud Lamm2007-10-12 19:45
StoryRalph Johnson: Erlang, the next Java Ehud Lamm2007-08-12 15:45
Forum topicWhy people don't use functional programming? Gergely Buday2007-06-09 16:40
Forum topicPicky libraries, picky languages? raould2007-05-24 20:52
Forum topicDbC + OPascal == Chrome raould2007-05-24 19:58
Forum topicIs Integer wrapping an exceptional condition? mansu2007-05-21 23:34
StoryLisp is sin Ehud Lamm2007-05-19 19:51
Forum topicThoughts about the Best Introductory Language shlomif2007-05-01 05:23
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
Forum topicExpect New Major Language Within Five Years Anton van Straaten2007-04-17 01:00
Forum topicAutomatic Programming J Storrs Hall2007-03-13 14:08
Forum topicWhy Are ALL Programming Languages So Low Level? Vorlath2007-01-16 22:41
Forum topicWhy Johnny can't code Matthew Willson2007-01-04 22:54
StoryThe Future of LtU Ehud Lamm2006-12-26 02:37