(language) A language with partial type and effect reconstruction and first-class modules.
Last updated: 1995-01-31