Gallina
Gallina est le langage uniforme de description mathématique utilisé par Coq.
| Gallina | |
| Paradigmes | Purement fonctionnel |
|---|---|
| Typage | Fort, statique, type inductif |
| Influencé par | ML |
| Implémentations | Coq |
Gallina signifie poule en latin.
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.