Guy Cousineau
IdRefMots clés
FR
Sciences appliquees
Informatique, automatique theorique, systemes
Programmation logique
Langage fonctionnel
Typage
Machine abstraite
Compilation
Functional language
Typing
Abstract machine
Langage programmation
Programming language
LISP (langage de programmation)
Intelligence artificielle
Filtrage
Ml
Auto amorcage
Caml
Code machine optimal
Filtering