RT @dorchard: @TaliaRinger @JAldrichPL It takes much care! We developed Graded Modal Dependent Type Theory which can be instantiated to cap…
24,937 followers
1,682 followers
@TaliaRinger @JAldrichPL It takes much care! We developed Graded Modal Dependent Type Theory which can be instantiated to capture linearity https://t.co/ZYFjhvYHyx This taps into a long line of cool papers thinking about how to reconcile linearity and dep
338 followers
@ProfMaxNew perhaps not a direct answer to your original question but also in the sphere of resource-aware dependent type theories is https://t.co/GLacTsiP9l which you might also be interested in - unlike QTT this does quantitative usage tracking at the ty
176 followers
RT @granulelang: Today our work on Graded Modal Dependent Type Theory (Moon, Eades, Orchard) is being presented at ESOP 2021 https://t.co/…