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.
