recent posts

typetitleauthorlast post sort icon
Forum topicFormalization and programming language design -- explained to all gasche2016-02-09 16:53
Forum topicEarl Grey; the story of a new programming language Greg Buchholz2016-02-09 16:31
Forum topicAndl is a New Database Language davidb2016-02-08 03:43
StoryTemporal Higher Order Contracts gasche2016-02-05 16:20
Forum topicSPREAD: Authenticated reusable computations Robbert van Dalen2016-02-04 23:10
Forum topicProgrammatic and Direct Manipulation, Together at Last Sean McDirmid2016-02-03 22:38
Forum topicChallenges Facing a High-Level Language for Machine Knitting marco2016-02-03 22:07
Forum topicNeed to Talk marco2016-02-02 05:56
StoryCoordinated concurrent programming in Syndicate gasche2016-02-01 18:40
Forum topicTyped X (Racket, Clojure, Lua) just doesn't pan out? raould2016-01-31 00:31