Gallina

Ajouter des liens
Un article de Wikipédia, l'encyclopédie libre.
La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.
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 Consultez la documentation du modèle

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=213077073 ».