FX-90
A language with partial type and effect reconstruction and first-class modules.
(31 Jan 1995)