About: dependently-typed language

Premodifier: dependently-typed
Head noun: language

Same concepts
http://dbpedia.org/resource/Dependent_type

Broader concepts

label	provenance	confidence

Narrower concepts

label	provenance	confidence
agda	isap:460211314	0.439040