4 ms·
Check out Chris Martens' work, like her thesis "Programming Interactive Worlds with Linear Logic": http://www.cs.cmu.edu/~cmartens/thesis/ http://www.cs.cmu.ed
by mbrock 9y ago
Check out Chris Martens' work, like her thesis "Programming Interactive Worlds with Linear Logic":
http://www.cs.cmu.edu/~cmartens/thesis/ http://www.cs.cmu.edu/~cmartens/thesis/
(or some of the shorter papers on her website)
- adamnemecek 9y agoThx, I saw this on HN a while back but totally forgot it existed.