Anton van Straaten

typetitle sort iconauthorlast post
Forum topicDiseases in Code bryanedds2014-04-23 15:23
StoryStudy finds that when no financial interests are involved programmers choose DECENT languages Ehud Lamm2014-04-15 05:59
Forum topicBrendan Eich, CEO of mozilla Sean McDirmid2014-04-13 18:55
Forum topicLeslie Lamport: Thinking for Programmers Charles Torre2014-04-12 13:41
StoryGilad Is Right Erik Meijer2014-03-23 13:38
Forum topicA Case for Gestures/Visualizations and Against Concrete Syntax Thomas Lord2013-08-25 05:05
StoryILC2002 Proceedings and Videos Luke Gorrie2013-08-08 08:11
Forum topicThe Power of Interoperability: Why Objects Are Inevitable Sean McDirmid2013-08-07 23:59
Forum topicCost of provably-correct code Ehud Lamm2013-07-06 19:56
StoryWho's online Ehud Lamm2013-04-02 09:09
StoryLtU is migrating from Drupal Ehud Lamm2013-04-02 07:38
Forum topicindentation yet again? raould2013-02-05 16:10
Forum topicLearnable Programming dmbarbour2012-11-29 21:57
Forum topicHow to respect language styles while translating? raould2012-07-24 18:15
Forum topicBob Harper of CMU is blogging about programming languages and introductory CS education vrijz2012-06-30 00:11
StoryDecomposing lambda - the Kernel language Anton van Straaten2012-04-30 15:31
Forum topicThe Monad.Reader Wouter Swierstra2012-04-11 12:54
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
Forum topicextending functions vs. extending objects raould2011-11-07 02:03
Forum topicAn Accidental Simula User, Luca Cardelli Isaac Gouy2011-09-15 12:44
StoryHaskell for C Programmers Mark Evans2011-09-12 18:37
Forum topicLiterate Programming: Retrospect and Prospects el-vadimo2011-07-20 21:10
StoryRetrospective: The Essence of Compiling with Continuations Ehud Lamm2011-07-11 18:08