3 ms·
You might find one of my late brother's research interests relevant: https://www.cs.princeton.edu/~dpw/papers/space.pdf https://www.cs.princeton.edu/~dpw/papers
by jasonwatkinspdx 10mo ago
You might find one of my late brother's research interests relevant: https://www.cs.princeton.edu/~dpw/papers/space.pdf https://www.cs.princeton.edu/~dpw/papers/space.pdf
- steveklabnik 10mo agoThank you for the link! I'll check it out for sure. (And sorry to hear about your brother's passing.)
- jasonwatkinspdx 10mo agoYeah, that's just one of the essays he was on as a phd student, but he was really interested in the interaction of linear types and region inferencing as a general resource management framework. That grew into an interest in linear types as part of logical frameworks for modeling concurrency. But then like a lot of people he became disillusioned with academia, went to make some money on wall street, then focused on his family after that. Anyhow, I just thought it might be a good jumping off point for what you're exploring.