recent posts

typetitleauthor sort iconlast post
Forum topicErlOCaml dbfaken2007-11-15 16:57
Forum topiclarge imperative code --> functional dbfaken2005-08-22 18:35
Forum topicMetalua dbfaken2007-04-13 14:01
Forum topicBlending static and dynamic typing dbfaken2007-03-09 00:44
Forum topicInvariants/Contracts vs. types dbfaken2005-11-08 22:31
Forum topic"Down with Lambda-Lifting" dbfaken2014-02-24 17:04
Forum topicObject level unification daYZman2007-10-12 17:17
Forum topicPeakStream - a multi-core stream processing model Davor Cubranic2006-09-21 17:04
Forum topicKaya: Declarative Reactive DavidBroderick2014-09-29 15:07
Forum topicAndl is a New Database Language davidb2016-02-08 03:43