Lambda the Ultimate

type	title	author	last post
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
Story	LAMBDA: The ultimate Excel worksheet function I *really* like spreadsheets by Robbert van Dalen	bashyal	2021-04-01 21:52
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

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation