Extension of ML type system with a sorted equation theory on types

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Comportement de dimension finie pour des equations d'ondes dispersives

Maache, Simail

January 1991

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

Collections, sets and types

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

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...

Un nouveau schema de type volumes finis applique aux equations de Maxwell en milieu heterogene

Poupaud, Frederic
Remaki, malika
Fezoui, Loula
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes

January 1998

Theme 4 - Simulation et optimisation de systemes complexes. Projet CAIMANAvailable from INIST (FR), ...

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

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

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

Analysis of a multi-class queueing system

Dantzer, Jean-Francois
Robert, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

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

Multiscale system theory

Benveniste, Albert
Nikoukhah, Ramine
Willsky, Alan S.
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1990

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

Theories equationnelles et de contraintes pour la demonstration automatique en logique multi-modale

Debart Clerin, Francoise

January 1992

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

Regularite Gevrey des solutions de l'equation de Monge-Ampere reelle

Jallouli Kallel, Saoussen

January 1991

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

Resolution d'equations intervenant dans les constructions parasismiques

Benazzouz, Hana

January 1990

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

Extensions de theories de Lawvere

Mathieu, Monique

January 1991

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

Theorie de systeme et series temporelles

Ratsimalahelo, Zaka
Centre National de la Recherche Scientifique (CNRS), 21 - Dijon (France). Lab. d'Analyse et de Techniques Economiques (LATEC)
Dijon Univ., 21 (France). Lab. d'Analyse et de Techniques Economiques (LATEC)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 26046, issue : a.1994 n.01 / ...

Theories intregrables en mecanique statistique

Lopes, Eliana

January 1991

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

Batiment type de bureaux et scenarii de fonctionnement thermique types associes

Colombier, N.
Boutiere, F.
Diot, F.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Applications de l'Electricite dans les Batiments (ADEB)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 26165 E, issue : a.199...

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Comportement de dimension finie pour des equations d'ondes dispersives

Maache, Simail

January 1991

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

Collections, sets and types

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

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...

Un nouveau schema de type volumes finis applique aux equations de Maxwell en milieu heterogene

Poupaud, Frederic
Remaki, malika
Fezoui, Loula
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes

January 1998

Theme 4 - Simulation et optimisation de systemes complexes. Projet CAIMANAvailable from INIST (FR), ...

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

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

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

Analysis of a multi-class queueing system

Dantzer, Jean-Francois
Robert, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2000

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

Multiscale system theory

Benveniste, Albert
Nikoukhah, Ramine
Willsky, Alan S.
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1990

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

Theories equationnelles et de contraintes pour la demonstration automatique en logique multi-modale

Debart Clerin, Francoise

January 1992

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

Regularite Gevrey des solutions de l'equation de Monge-Ampere reelle

Jallouli Kallel, Saoussen

January 1991

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

Resolution d'equations intervenant dans les constructions parasismiques

Benazzouz, Hana

January 1990

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

Extensions de theories de Lawvere

Mathieu, Monique

January 1991

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

Theorie de systeme et series temporelles

Ratsimalahelo, Zaka
Centre National de la Recherche Scientifique (CNRS), 21 - Dijon (France). Lab. d'Analyse et de Techniques Economiques (LATEC)
Dijon Univ., 21 (France). Lab. d'Analyse et de Techniques Economiques (LATEC)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 26046, issue : a.1994 n.01 / ...

Theories intregrables en mecanique statistique

Lopes, Eliana

January 1991

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

Batiment type de bureaux et scenarii de fonctionnement thermique types associes

Colombier, N.
Boutiere, F.
Diot, F.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Applications de l'Electricite dans les Batiments (ADEB)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 26165 E, issue : a.199...

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

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

Comportement de dimension finie pour des equations d'ondes dispersives

Maache, Simail

January 1991

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

Collections, sets and types

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

Extension of ML type system with a sorted equation theory on types

Abstract

Extracted data

Extension of ML type system with a sorted equation theory on types

Abstract

Extracted data

Related items

Related items