leastfixedpoint

Archived tweet #8536 from the @leastfixedpoint Twitter Archive
@wvmdltr cool. There's the ESOP 2016 paper but also syndicate-lang.org if you want to see some programs