FX-90

FX-90

(language)
A language with partial type and effect reconstruction and first-class modules.