VDict mobile



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