H ? « ‹ ← → › »

Language peer sets for Gallina:
France↑
France/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Experimental and other ↑
Experimental and other/1992↑
Experimental and other/fr ↑

Gallina(ID:1924/gal005)

alternate simple view
Country: France
Designed 1992
Sammet category: Experimental and other

from genus of Cock, after Coq

the base language for the Coq system


Structures:
Related languages
coq → Gallina   Subsystem

Resources
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder