elpinal/focused-modules
A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]
Standard MLMIT
No issues in this repository yet.
A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]
Standard MLMIT
No issues in this repository yet.