3 ms·
Thank you for the link! I'll check it out for sure. (And sorry to hear about your brother's passing.)
by steveklabnik 10mo ago
Thank 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.