Polymorphic type inference and assignment

Methodes d'inference statistique en modelisation de la variance. Application en genetique quantitative

San Cristobal, Magali

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 83625 / INIST-CNRS ...

Subtyping recursive types

Amadio, Roberto M.
Cardelli, Luca
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1992 ...

Les programmes du CEPH \Centre d'etudes du polymorphisme humain\

Cohen, Daniel
Dausset, Jean
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Centre d'Etudes du Polymorphisme Humain (CEPH), 75 - Paris (France)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14035 / INIST-CNRS - ...

Polymorphic typing of an algorithmic language

Leroy, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 ...

Efficient data representation in polymorphic languages

Leroy, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Contribution a l'etude des polynomes orthogonaux et a leurs applications

Leopold, Elie (ed.)

January 1999

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TM 786 / INIST-CNRS - ...

Bounded polymorphism for extensible objects

Liquori, Luigi
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme

January 1999

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15429 / INIST-CNRS ...

Type inference in the presence of subtyping : from theory to practicemaj215

Pottier, Francois
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CristalSIGLEAvailable from INIST (FR), Documen...

Type inference for records in a natural extension of ML

Remy, Didier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Contribution au traitement automatique de la polysemie

Konfe, Amadou

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77835 / INIST-CNRS -...

Etude du polymorphisme genetique des plantes superieures par hybridation a l'aide de sondes non-radioactives

Lebacq, Philippe
Bioprobe Systems, 93 - Montreuil (France)
Paris-11 Univ., 91 - Orsay (France). Lab. de Biologie Moleculaire Vegetale

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : AR 16551 / INIST-CNRS - Ins...

Polymorphisme genetique de quelques especes forestieres majeures Application au marquage genetique des materiels forestiers de reproduction

Prat, Daniel
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Institut National de la Recherche Agronomique (INRA), 54 - Nancy (France). Lab. de Sciences Forestieres
Institut National de la Recherche Agronomique (INRA), 33 - Gazinet (France). Lab. de Genetique et Amelioration des Arbres Forestiers
Institut National de la Recherche Agronomique (INRA), 45 - Olivet (France). Station d'Amelioration des Arbres Forestiers
Association Foret-Cellulose (AFOCEL), 77 - Echouboulains (France). Station de Biotechnologie

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15222 / INIST-CNRS - ...

Variables d'induction generalisees pour l'analyse par instances de programmes recursifs

Amiranoff, Pierre
Cohen, Albert
Feautrier, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 1 - Reseaux et systemes - Projet A3Available from INIST (FR), Document Supply Service, under s...

Factorisation des polynomes sur un corps fini

Naudin, Patrice
Quitte, Claude
Poitiers Univ., 86 (France). Dept. de Mathematiques

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22466, issue : a.1993 n....

Inference grammaticale reguliere : fondements theoriques et principaux algorithmes

Dupont, Pierre
Miclet, Laurent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet REPCOAvailable from INIS...

Methodes d'inference statistique en modelisation de la variance. Application en genetique quantitative

San Cristobal, Magali

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 83625 / INIST-CNRS ...

Subtyping recursive types

Amadio, Roberto M.
Cardelli, Luca
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1992 ...

Les programmes du CEPH \Centre d'etudes du polymorphisme humain\

Cohen, Daniel
Dausset, Jean
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Centre d'Etudes du Polymorphisme Humain (CEPH), 75 - Paris (France)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14035 / INIST-CNRS - ...

Polymorphic typing of an algorithmic language

Leroy, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 ...

Efficient data representation in polymorphic languages

Leroy, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Contribution a l'etude des polynomes orthogonaux et a leurs applications

Leopold, Elie (ed.)

January 1999

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TM 786 / INIST-CNRS - ...

Bounded polymorphism for extensible objects

Liquori, Luigi
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme

January 1999

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15429 / INIST-CNRS ...

Type inference in the presence of subtyping : from theory to practicemaj215

Pottier, Francois
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CristalSIGLEAvailable from INIST (FR), Documen...

Type inference for records in a natural extension of ML

Remy, Didier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Contribution au traitement automatique de la polysemie

Konfe, Amadou

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77835 / INIST-CNRS -...

Etude du polymorphisme genetique des plantes superieures par hybridation a l'aide de sondes non-radioactives

Lebacq, Philippe
Bioprobe Systems, 93 - Montreuil (France)
Paris-11 Univ., 91 - Orsay (France). Lab. de Biologie Moleculaire Vegetale

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : AR 16551 / INIST-CNRS - Ins...

Polymorphisme genetique de quelques especes forestieres majeures Application au marquage genetique des materiels forestiers de reproduction

Prat, Daniel
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Institut National de la Recherche Agronomique (INRA), 54 - Nancy (France). Lab. de Sciences Forestieres
Institut National de la Recherche Agronomique (INRA), 33 - Gazinet (France). Lab. de Genetique et Amelioration des Arbres Forestiers
Institut National de la Recherche Agronomique (INRA), 45 - Olivet (France). Station d'Amelioration des Arbres Forestiers
Association Foret-Cellulose (AFOCEL), 77 - Echouboulains (France). Station de Biotechnologie

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 15222 / INIST-CNRS - ...

Variables d'induction generalisees pour l'analyse par instances de programmes recursifs

Amiranoff, Pierre
Cohen, Albert
Feautrier, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 1 - Reseaux et systemes - Projet A3Available from INIST (FR), Document Supply Service, under s...

Factorisation des polynomes sur un corps fini

Naudin, Patrice
Quitte, Claude
Poitiers Univ., 86 (France). Dept. de Mathematiques

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22466, issue : a.1993 n....

Inference grammaticale reguliere : fondements theoriques et principaux algorithmes

Dupont, Pierre
Miclet, Laurent
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 3 - Interaction homme-machine, images, donnees, connaissances. Projet REPCOAvailable from INIS...

Methodes d'inference statistique en modelisation de la variance. Application en genetique quantitative

San Cristobal, Magali

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 83625 / INIST-CNRS ...

Subtyping recursive types

Amadio, Roberto M.
Cardelli, Luca
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1992 ...

Les programmes du CEPH \Centre d'etudes du polymorphisme humain\

Cohen, Daniel
Dausset, Jean
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Centre d'Etudes du Polymorphisme Humain (CEPH), 75 - Paris (France)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : AR 14035 / INIST-CNRS - ...

Polymorphic type inference and assignment

Abstract

Extracted data

Polymorphic type inference and assignment

Abstract

Extracted data

Related items

Related items