Aller au contenu

Gallina

Ajouter des liens
Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 18 août 2022 à 03:42 et modifiée en dernier par Eric-92 (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Page d’aide sur l’homonymie

Pour les articles homonymes, voir Gallina (homonymie).

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Gallina
Paradigmes Purement fonctionnel
Typage Fort, statique, type inductif
Influencé par ML
Implémentations Coq
modifier 

Gallina est le langage uniforme de description mathématique utilisé par Coq.

Gallina signifie poule en latin.

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Gallina&oldid=196208171 ».