Anton van Straaten

typetitleauthorlast post sort icon
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
StoryECMAScript Edition 4 Reference Implementation Dave Herman2017-08-05 19:34
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicMathematics self-proves its own Consistency (contra Gödel et. al.) Hewitt2015-06-25 00:05
Forum topicgeneral patterns in PL persistence schemes? Rys McCusker2015-02-24 02:23
Forum topicJob ads Kalani2015-02-11 23:11
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
StoryLtU's new server Anton van Straaten2014-10-20 16:51
Forum topicExperiment Ehud Lamm2014-10-01 17:10
Forum topicProgramming by page faulting Sean McDirmid2014-09-09 00:11
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