micro-mitten

micro-mitten copied to clipboard

Could graded types help ASAP to be more static or precise? [Dominic Orchard - Quantitative program reasoning in Granule via graded modal types | Code Mesh LDN (youtube)](https://www.youtube.com/watch?v=2HOtpcrmXMQ) https://granule-project.github.io

csabahruska

Questions About the Paper (Practical Static Memory Management)

1

First, thanks for doing all of this. I'm not sure that I would have been able to understand the original ASAP paper without your thesis, and I think it's a...

andrewthad