Archived tweet #9737 from the @leastfixedpoint Twitter Archive

@aramallo @joeerl Very cool! So far, I've been working on programming language design for this kind of model, and haven't strayed too far into dist sys territory. You might also be interested in the Fact Space model of Mostinckx et al; brief notes and links to papers at syndicate-lang.org/tonyg-disserta…