typetitleauthor sort iconlast post
StoryComputing Needs Time Allan McInnes2012-03-05 19:35
Forum topicWhat space does SQL cover, or, why is max so weird in SQL? bdenckla2011-10-26 20:00
Forum topicmachine-ported reference algorithms bdenckla2011-10-14 02:44
Forum topicRedesigning the Mozart virtual machine Peter Van Roy2011-10-04 22:20
Forum topicAdd "unit time delay (D)" operator to functional language with random signals instead of random vars Andries2010-04-29 12:20
Forum topicProgram Visualization: Flowchart Layout Algorithms? markt2009-12-09 02:40
Forum topicPost new comment vs. reply bdenckla2009-12-01 16:17
Forum topicExploiting parser ambiguity bdenckla2008-09-07 16:12
Forum topicwhat a type system always proves vs. what it can be made to prove bdenckla2008-06-10 17:56
Forum topicsublanguages of CTM's Oz bdenckla2006-03-20 17:56
Forum topicThe new old or The "Return" to Concurrency Todd Coram2006-02-16 00:08
Forum topicSequentiality, laziness, Haskell, and cyclic block diagrams bdenckla2006-01-19 23:12
StoryThe essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene shapr2006-01-12 16:51
Forum topica + b * c in Brian Meek's "The static semantics file" bdenckla2005-11-04 17:24
Forum topictranslational vs. denotational semantics bdenckla2005-10-14 21:22
Forum topicliterature on commutative lifted boolean operators bdenckla2005-10-07 19:02
Forum topic"dynamic" generative programming? bdenckla2005-06-30 16:37
Forum topic"applicative" vs."functional" bdenckla2005-06-23 21:40
Forum topicSpeed and semantics in CTM Chap. 1 bdenckla2005-03-24 08:27