Cousineau, Guy
Cousineau, Guy, 19..-....
Cousineau, Guy, 1949-
Guy Cousineau informaticien français
VIAF ID: 41945649 ( Personal )
Permalink: http://viaf.org/viaf/41945649
Preferred Forms
- 200 _ | ‡a Cousineau ‡b Guy
-
-
- 100 1 0 ‡a Cousineau, Guy
-
- 100 1 _ ‡a Cousineau, Guy
-
-
-
- 100 1 _ ‡a Cousineau, Guy ‡d 1949-
- 100 1 _ ‡a Cousineau, Guy, ‡d 19..-....
-
- 100 0 _ ‡a Guy Cousineau ‡c informaticien français
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
ALCOOL-90. TYPING OVERLOADING IN A FUNCTIONAL LANGUAGE. | |
The ALEXANDER METHOD : A DEDUCTION TECHNIQUE. | |
Algèbres touffues : application au typage polymorphe des objets enregistrements dans les langages fonctionnels | |
Approche fonctionnelle de la programmation | |
Les arbres à feuilles indicées : un cadre algébrique pour l'étude des structures de contrôle | |
AUTOMATES A PILES ET PROGRAMMATION DYNAMIQUE DYALOG : UNE APPLICATION A LA PROGRAMMATION EN LOGIQUE | |
the CAML primer : version 2.6.1 projet formel promotion 1990 (2eme année) | |
Combinators and functional programming languages : thirteenth Spring school of the LITP, Val d'Ajol, France, May 6-10, 1985 : proceedings | |
Design and implantation of an adaptative garbage collector for Lisp. | |
ESTEREL V4 : une extension modulaire d'ESTEREL | |
Etude et implantation d'un glaneur de cellules adaptatif pour LISP | |
Étude et réalisation d'un langage objet : LORE | |
Évaluation paresseuse des filtrages avec priorité, application au langage ML... | |
Formalisation of concurrent and object orriented languages up to alpha conversion. | |
The functional approach to programming, c1998: | |
UNE IMPLEMENTATION DE ML EN ML | |
Information flow inference for ML : formalization and implantation. | |
Informatique théorique : actes du séminaire, année 1978-1979 | |
INTEGRATION DE FONCTIONNALITES LOGIQUES DANS UN LANGAGE FONCTIONNEL FORTEMENT TYPE : MLOG UNE EXTENSION | |
Integration of logical functionality in a functional language strongly typed: mlog an extension of ml. | |
INTELLIGENT BACKTRACKING IN LOGIC PROGRAMMING: A GENERAL FRAMEWORK. | |
LAMBDIX : un interprète LISP à liaison lexicale et évaluation paresseuse | |
MACHINES A ENVIRONNEMENT POUR LA REDUCTION SYMBOLIQUE ET L'EVALUATION PARTIELLE | |
MEASURES OF CONCURRENCY AND PARALLELISM OF DISTRIBUTED COMPUTATIONS. | |
MESURES DE LA CONCURRENCE ET DU PARALLELISME DES CALCULS REPARTIS | |
UNE METHODE DISTRIBUEE DE CREATION D'INTERFACE ET SES APPLICATIONS AUX DEMONSTRATEURS DE THEOREMES | |
Méthodes et langages de l'intelligence artificielle. T. 2 : cours et séminaires, Rocquencourt, France, 18-22 Novembre, 1985 | |
SAM SYSTEM: VERY EFFICIENT METACOMPILATION WITH SEMANTIC OPERATORS. | |
Une sémantique algébrique de Pascal et application à la spécification d'un compilateur Pascal-P-code | |
Spécifications sémantiques dans le système mentor | |
Studies in object-oriented programming : the lore langage. | |
Théorie des automates et des langages formels : cours | |
Typage d'un système de modules paramétriques avec partage : une application de l'unification dans les théories équationnelles | |
Type synthesis with subtyping and polymorphism. Application to an object-oriented extension of ml. | |
TYPES INTERSECTIONS SIMPLES | |
TYPING PARAMETRIC MODULES WITH SHARING CONSTRAINTS: AN APPLICATION OF UNIFICATION MODULO EQUATIONAL THEORIES. | |
LES VALEURS ALTERNATIVES ET LA NOTION D'EVENEMENT DANS L'EVALUATION PARTIELLE |