Knowledge Tree

researcher / Guy Cousineau

Guy Cousineau

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Inférence de flots d'information pour ML : formalisation et implantation

Formalisation des langages concurrents et à objets modulo l'alpha-conversion

Types intersections simples

Les valeurs alternatives et la notion d'evenement dans l'evaluation partielle

Une methode distribuee de creation d'interface et ses applications aux demonstrateurs de theoremes

Synthese de type avec sous-types et polymorphisme. Application a une extension orientee objets de ml

Automates a piles et programmation dynamique dyalog : une application a la programmation en logique

Une implementation de ml en ml

Integration de fonctionnalites logiques dans un langage fonctionnel fortement type : mlog une extension

Machines a environnement pour la reduction symbolique et l'evaluation partielle

Alcool-90. Typage de la surcharge dans un langage fonctionnel

Etude et implantation d'un glaneur de cellules adaptatif pour LISP

Backtracking intelligent en programmation logique : un cadre général

Mesures de la concurrence et du parallelisme des calculs repartis

La methode d'alexandre : une technique de deduction

Le systeme sam : metacompilation tres efficace a l'aide d'operateurs semantiques

Etude et implémentation en ML/LCF d'un système de déduction pour logique algorithmique