A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]
Primary LanguageStandard MLMIT LicenseMIT