Robbert van Dalen

type sort icontitleauthorlast post
Forum topicSPREAD: Authenticated reusable computations Robbert van Dalen2016-02-04 23:10
Forum topicWhy do we need modules at all? Sean McDirmid2014-12-06 15:20
Forum topicThe Avail programming language Robbert van Dalen2014-05-05 13:23
Forum topicFuture of Programs using Assertions, Goals, and Plans Hewitt2013-08-10 01:07
Forum topicJanus: A Time-Reversible Language Sean McDirmid2013-05-25 11:38
Forum topicA retro-active programming language Robbert van Dalen2013-04-29 23:01
StoryConcurrent Revisions naasking2013-03-20 22:37
Forum topicFixpoint theory, induction and recursion hbrandl2013-03-08 04:14
Forum topicWhat will programming look like in 2020? Sean McDirmid2013-03-01 03:45
Forum topicDependencies as first class entities Mats2013-02-02 09:19
Forum topicProgramming with alternatives Robbert van Dalen2013-01-06 16:56
Forum topicMultimap unification Robbert van Dalen2012-12-23 23:20
Forum topicEventually consistent distributed STM cypof2012-12-10 06:15
Forum topicAbolishing zeros Robbert van Dalen2012-12-01 04:39
Forum topicA new look at multimaps Robbert van Dalen2012-11-29 03:28
Forum topicIncremental computation with divide and conquer memoization Robbert van Dalen2012-11-10 17:46
Forum topicLet's fix spreadsheets Robbert van Dalen2012-11-03 12:23
Forum topicSolving the dependency hell Robbert van Dalen2012-11-02 00:41
Forum topicThe SPREAD programming language Robbert van Dalen2012-10-27 05:12
Forum topicFunctional Relational Programming: Out of the tar pit abayley2012-06-24 17:25
Forum topicLanguages with 'unique' programs dataangel2012-06-04 11:11
Forum topicC-Machine marco2010-06-15 19:46
Forum topicPostfix lambdas Robbert van Dalen2007-01-08 22:11
Forum topicThe whole Enchilada Robbert van Dalen2006-08-28 09:11
Forum topicThe fundamental difference between Sets and Lists? Robbert van Dalen2006-04-27 12:55