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.

Liens externes

  • Portail de l’informatique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.