Gallina
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
- Le manuel de référence de Coq
- Portail de la programmation informatique