Robbert van Dalen

view
track

type	title	author	last post sort icon
Story	LAMBDA: The ultimate Excel worksheet function I really like spreadsheets by Robbert van Dalen	bashyal	2025年09月08日 17:33
Forum topic	The ALTernative programming language	Robbert van Dalen	2023年07月30日 18:39
Forum topic	CUE: An open-source data validation language Nice references by Robbert van Dalen A nice overview by Robbert van Dalen	Robbert van Dalen	2022年06月04日 04:46
Forum topic	Do names and symbols really imply semantics? If so what to do about it? Your post really resonates by Robbert van Dalen Your post really resonates by Robbert van Dalen	Ray Dillinger	2021年11月22日 16:49
Forum topic	SPREAD: Authenticated reusable computations purely functional - it has to be by Robbert van Dalen Outsourcing computations by Robbert van Dalen Authenticated Data Structures by Robbert van Dalen You don't need to complete by Robbert van Dalen The big deal breaker? by Robbert van Dalen Enchilada woes by Robbert van Dalen	Robbert van Dalen	2016年02月04日 23:10
Forum topic	Why do we need modules at all? Hacker News by Robbert van Dalen Implementation details by Robbert van Dalen Security by Robbert van Dalen Indeed, I'm not suggesting by Robbert van Dalen Cryptographic hashes vs GUIDs by Robbert van Dalen	Sean McDirmid	2014年12月06日 15:20
Forum topic	The Avail programming language APL versus COBOL by Robbert van Dalen Semantic restriction, take 2 by Robbert van Dalen Depends on the DSL by Robbert van Dalen fibers by Robbert van Dalen semantic restrictions by Robbert van Dalen	Robbert van Dalen	2014年05月05日 13:23
Forum topic	Future of Programs using Assertions, Goals, and Plans Transaction Logic? by Robbert van Dalen	Hewitt	2013年08月10日 01:07
Forum topic	Janus: A Time-Reversible Language Immutability by Robbert van Dalen not reversing code by Robbert van Dalen "And of course, for live by Robbert van Dalen Data provenance and reversibility by Robbert van Dalen Data provenance by Robbert van Dalen	Sean McDirmid	2013年05月25日 11:38
Forum topic	A retro-active programming language	Robbert van Dalen	2013年04月29日 23:01
Story	Concurrent Revisions Write skew by Robbert van Dalen	naasking	2013年03月20日 22:37
Forum topic	Fixpoint theory, induction and recursion Fixpoint as a stable chemical solution by Robbert van Dalen	hbrandl	2013年03月08日 04:14
Forum topic	What will programming look like in 2020? Provenance in 2019 by Robbert van Dalen Software liability like Basel III by Robbert van Dalen	Sean McDirmid	2013年03月01日 03:45
Forum topic	Dependencies as first class entities Runtime dependencies by Robbert van Dalen	Mats	2013年02月02日 09:19
Forum topic	Programming with alternatives Prior art by Robbert van Dalen Nice suggestion by Robbert van Dalen It is very similar by Robbert van Dalen Thanks for considering my by Robbert van Dalen	Robbert van Dalen	2013年01月06日 16:56
Forum topic	Multimap unification Pattern matching with Strucjure by Robbert van Dalen Unification calculus? by Robbert van Dalen Unification is more powerful than pattern matching by Robbert van Dalen Pattern matching by Robbert van Dalen Declarative expressiveness by Robbert van Dalen Undesirable properties by Robbert van Dalen Nested sets by Robbert van Dalen	Robbert van Dalen	2012年12月23日 23:20
Forum topic	Eventually consistent distributed STM Implicit object constraints by Robbert van Dalen Constraints between point objects by Robbert van Dalen Write skew by Robbert van Dalen	cypof	2012年12月10日 06:15
Forum topic	Abolishing zeros Stream calculus by Robbert van Dalen Seriously nothing by Robbert van Dalen LOL by Robbert van Dalen maybe not by Robbert van Dalen Total functional programming by Robbert van Dalen Algebra of communication processes by Robbert van Dalen Commutative property of multiplication by Robbert van Dalen Sur-Quaternions by Robbert van Dalen Division is simplification by Robbert van Dalen Rolling back by Robbert van Dalen ...	Robbert van Dalen	2012年12月01日 04:39
Forum topic	A new look at multimaps Wheels of multimaps by Robbert van Dalen binary relations? by Robbert van Dalen Abstract Chemical Machine by Robbert van Dalen	Robbert van Dalen	2012年11月29日 03:28
Forum topic	Incremental computation with divide and conquer memoization purely functional spreadsheets by Robbert van Dalen	Robbert van Dalen	2012年11月10日 17:46
Forum topic	Let's fix spreadsheets pot of gold by Robbert van Dalen finite binary relations by Robbert van Dalen exponential computing by Robbert van Dalen The spread data structure by Robbert van Dalen	Robbert van Dalen	2012年11月03日 12:23
Forum topic	Solving the dependency hell Finite higher-ordered binary relations by Robbert van Dalen yes, thanks for reminding me by Robbert van Dalen	Robbert van Dalen	2012年11月02日 00:41
Forum topic	The SPREAD programming language Your comments demonstrate by Robbert van Dalen excellent advice by Robbert van Dalen higher-order spreadsheets by Robbert van Dalen crank language? by Robbert van Dalen	Robbert van Dalen	2012年10月27日 05:12
Forum topic	Functional Relational Programming: Out of the tar pit Trick or treat? by Robbert van Dalen	abayley	2012年06月24日 17:25
Forum topic	Languages with 'unique' programs uniquely represented data structures by Robbert van Dalen	dataangel	2012年06月04日 11:11
next page last page

Lambda the Ultimate

User login

Navigation

Robbert van Dalen

Browse archives

Active forum topics

New forum topics

Recent comments