type dépendant
Sign in to savetype dont la définition dépend d'une valeur
Article · Français
En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant.
Abstract from DBpedia / Wikipedia · CC BY-SA