Gallina
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Gallina (homonymie).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Circle-icons-computer.svg/35px-Circle-icons-computer.svg.png)
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