Dependent ML
Dependent ML is an experimental functional programming language proposed by Hongwei Xi () and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions. Dependent ML has been superseded by ATS and is no longer under active development.
influenced by
Wikipage redirect
dialects
primaryTopic
Dependent ML
Dependent ML is an experimental functional programming language proposed by Hongwei Xi () and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions. Dependent ML has been superseded by ATS and is no longer under active development.
has abstract
Dependent ML (зависимый метаяз ...... азработки больше не находится.
@ru
Dependent ML is an experimenta ...... nger under active development.
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
704,762,304
subject
comment
Dependent ML (зависимый метаяз ...... азработки больше не находится.
@ru
Dependent ML is an experimenta ...... nger under active development.
@en
label
Dependent ML
@en
Dependent ML
@ru