3 ms·
ATS seems relevant, it has dependent types and linear types. My understanding isthat linear types have a lot in common with barrow checking.
by marklemay 7y ago
ATS seems relevant, it has dependent types and linear types. My understanding isthat linear types have a lot in common with barrow checking.