Type inference for records in a natural extension of ML

Parsers in ML

Mauny, Michel
De Rauglaudre, Daniel
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

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

Parameterized specifications : sufficient completeness and implicit induction

Bouhoula, Adel
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

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

1 The Essence of ML Type Inference 1.1 What is ML?

François Pottier
Didier Rémy

February 2008

The name “ML ” appeared during the late seventies. It then referred to a general-purpose programming...

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

Didier Remy
E De Recherche
Et En Automatique
Domaine De Voluceau

January 1991

We describe an extension of ML with records where inheritance is given by ML generic polymorphism. A...

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

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

Remy, Didier
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 ...

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

Polymorphic type inference and assignment

Leroy, Xavier
Weis, Pierre
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 ...

Epelle : un logiciel de detection de fautes d'orthographe

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

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

Type Inference for Records in a Natural Extension of ML

Rémy, Didier

October 1990

We describe an extension of ML with records where inheritance is given by ML generic polymorphism. A...

Encoding dependant types in an intuitionistic logic

Felty, Amy
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...

Les types en Prolog : un systeme d'inference de type et ses applications

Azzoune, Hamid
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Syntactic theories and the algebra of record terms

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

January 1993

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

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

Parsers in ML

Mauny, Michel
De Rauglaudre, Daniel
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

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

Parameterized specifications : sufficient completeness and implicit induction

Bouhoula, Adel
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

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

1 The Essence of ML Type Inference 1.1 What is ML?

François Pottier
Didier Rémy

February 2008

The name “ML ” appeared during the late seventies. It then referred to a general-purpose programming...

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

Didier Remy
E De Recherche
Et En Automatique
Domaine De Voluceau

January 1991

We describe an extension of ML with records where inheritance is given by ML generic polymorphism. A...

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

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

Remy, Didier
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 ...

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

Polymorphic type inference and assignment

Leroy, Xavier
Weis, Pierre
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 ...

Epelle : un logiciel de detection de fautes d'orthographe

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

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

Type Inference for Records in a Natural Extension of ML

Rémy, Didier

October 1990

We describe an extension of ML with records where inheritance is given by ML generic polymorphism. A...

Encoding dependant types in an intuitionistic logic

Felty, Amy
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...

Les types en Prolog : un systeme d'inference de type et ses applications

Azzoune, Hamid
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Syntactic theories and the algebra of record terms

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

January 1993

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

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

Parsers in ML

Mauny, Michel
De Rauglaudre, Daniel
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

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

Parameterized specifications : sufficient completeness and implicit induction

Bouhoula, Adel
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

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

1 The Essence of ML Type Inference 1.1 What is ML?

François Pottier
Didier Rémy

February 2008

The name “ML ” appeared during the late seventies. It then referred to a general-purpose programming...

Type inference for records in a natural extension of ML

Abstract

Extracted data

Type inference for records in a natural extension of ML

Abstract

Extracted data

Topics

Related items

Topics

Related items