3 ms·Programming Interactive Worlds with Linear Logic [2015]5 points by febin 8y agolizardskull 8y agoI come back to this idea every year