Functional programming and nondeterminism

Programmer en C

Mousel, P.
Roussanaly, A.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

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

Le code procions

Deck, Dominique
Samba, Gerald
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1994

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

Etude du determinisme de la consommation des essences forestieres par le chevreuil

Ministere de l'Agriculture et de la Peche, 75 - Paris (France)
Centre National du Machinisme Agricole, du Genie Rural des Eaux et des Forets (CEMAGREF), 92 - Antony (France)
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France)
Bordeaux-1 Univ., 33 - Bordeaux (France). Centre de Recherches et d'Etudes en Gestion (CREGE)

January 1994

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

Functional and asynchronous parallel programming

Julliand, J.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

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

Programmation fonctionnelle et flots de donnees

Dussert, Nathalie
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

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

Programmation repartie par objets: etudes et propositions

Guerraout, Rachid

January 1992

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

The Inf function in the system F

David, R.
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
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1993

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

La programmation typologique

Mahe, Serge-Andre

January 1992

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

La theorie des cofinalites possibles et ses applications

Lafitte, Gregory
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

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

Une approche de la programmation generique

Nguyen, Thanh Tung
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

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

Transformation FP2 \Functional Parallel Programming\ vers ADA

Roge, Sylvie
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

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

La combinaison de l'information incertaine et ses aspects algorithmiques

Sandri, Sandra

January 1991

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

A functional language for parallel programming

Julliand, Jacques
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10690 ...

Approche fonctionnelle : de la theorie a la pratique

Le Metayer, Daniel
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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)
Rennes-1 Univ., 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 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 11649 / INIST-CNRS - Insti...

Sur l'Algorithmique combinatoire d'ordre finis

Bordat, Jean-Paul

January 1992

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

Programmer en C

Mousel, P.
Roussanaly, A.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

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

Le code procions

Deck, Dominique
Samba, Gerald
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1994

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

Etude du determinisme de la consommation des essences forestieres par le chevreuil

Ministere de l'Agriculture et de la Peche, 75 - Paris (France)
Centre National du Machinisme Agricole, du Genie Rural des Eaux et des Forets (CEMAGREF), 92 - Antony (France)
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France)
Bordeaux-1 Univ., 33 - Bordeaux (France). Centre de Recherches et d'Etudes en Gestion (CREGE)

January 1994

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

Functional and asynchronous parallel programming

Julliand, J.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

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

Programmation fonctionnelle et flots de donnees

Dussert, Nathalie
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

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

Programmation repartie par objets: etudes et propositions

Guerraout, Rachid

January 1992

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

The Inf function in the system F

David, R.
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
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1993

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

La programmation typologique

Mahe, Serge-Andre

January 1992

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

La theorie des cofinalites possibles et ses applications

Lafitte, Gregory
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

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

Une approche de la programmation generique

Nguyen, Thanh Tung
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

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

Transformation FP2 \Functional Parallel Programming\ vers ADA

Roge, Sylvie
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Syseca Temps Reel, 92 - Saint Cloud (France)

January 1990

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

La combinaison de l'information incertaine et ses aspects algorithmiques

Sandri, Sandra

January 1991

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

A functional language for parallel programming

Julliand, Jacques
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10690 ...

Approche fonctionnelle : de la theorie a la pratique

Le Metayer, Daniel
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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)
Rennes-1 Univ., 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 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 11649 / INIST-CNRS - Insti...

Sur l'Algorithmique combinatoire d'ordre finis

Bordat, Jean-Paul

January 1992

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

Programmer en C

Mousel, P.
Roussanaly, A.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

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

Le code procions

Deck, Dominique
Samba, Gerald
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Dept. de Mathematiques Appliquees

January 1994

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

Etude du determinisme de la consommation des essences forestieres par le chevreuil

Ministere de l'Agriculture et de la Peche, 75 - Paris (France)
Centre National du Machinisme Agricole, du Genie Rural des Eaux et des Forets (CEMAGREF), 92 - Antony (France)
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France)
Bordeaux-1 Univ., 33 - Bordeaux (France). Centre de Recherches et d'Etudes en Gestion (CREGE)

January 1994

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

Functional programming and nondeterminism

Abstract

Extracted data

Functional programming and nondeterminism

Abstract

Extracted data

Related items

Related items