Gallina
langage de programmation / De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Gallina (homonymie).
Gallina est le langage uniforme de description mathématique utilisé par Coq.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Faits en bref Paradigmes, Typage ...
Gallina | |
Paradigmes | Purement fonctionnel |
---|---|
Typage | Fort, statique, type inductif |
Influencé par | ML |
Implémentations | Coq |
modifier |
Fermer
Gallina signifie poule en latin.