Anton van Straaten

type sort icontitleauthorlast post
StoryCost semantics for functional languages gasche2014-08-21 22:00
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
PageDepartments Anton van Straaten2014-07-13 10:01
Forum topicMath.js crashes my iPad Sean McDirmid2014-07-03 16:05
Forum topicAnnouncing Lang.NEXT 2014 - Registration is Free and Now Open Charles Torre2014-06-04 00:59
StoryFifty Years of BASIC, the Programming Language That Made Computers Personal bashyal2014-05-30 20:21
Forum topicLtU now supports Mathjax Anton van Straaten2014-05-05 14:47
Forum topicAha moment Ehud Lamm2014-04-29 06:07
StoryDeca, an LtU-friendly bare metal systems programming language Anton van Straaten2014-04-23 16:10
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