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

Type Inference for the Mixture of Matching and Implicit Subtyping

Koji Kagawa

January 1996

We present a type inference system for a language with object-oriented features such as polymorphic ...

Pragmatic subtyping in polymorphic languages

Nordlander, Johan

January 1999

We present a subtyping extension to the Hindley/Milner type system that is based on name inequivalen...

A tutorial on recursive types in Coq

Gimenez, Eduardo
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 COQSIGLEAvailable from INIST (FR), Document Su...

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

Subtyping with union types, intersection types and recursive types II

Damm, Flemming
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 (France). Unite de Recherche de Rennes

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet LandeSIGLEAvailable at INIS...

Type inference with simple subtypes

John C. Mitchell

January 1991

Subtyping appears in a variety of programming languages, in the form of the "automatic coercion...

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

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

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

Using modes to ensure subject reduction for typed logic programs with subtyping

Smaus, Jan-Georg
Fages, Francois
Deransart, Pierre
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 contrainteSIGLEAvailable from INIST (FR), Doc...

Subtyping constrained types

Valery Trifonov
Scott Smith

January 1996

Abstract. A constrained type is a type that comes with a set of subtyping constraints on variables o...

Specialization patterns

Schultz, Ulrik Pagh
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

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

Subtyping Constrained Types

Valery Trifonov
Scott Smith

January 1996

Constrained type systems are a natural generalization of Hindley/Milner type inference to languages ...

Type inference with subtypes

Fuh, You-Chin
Mishra, Prateek

June 1990

AbstractWe extend polymorphic type inference with a very general notion of subtype based on the conc...

Elementary Type Inference (Artifact)

Zhao, Jinxu
Oliveira, Bruno C. d. S.

January 2022

This artifact contains the Appendix of the paper, proofs of theorems declared in the paper, and a sa...

Type Inference for the Mixture of Matching and Implicit Subtyping

Koji Kagawa

January 1996

We present a type inference system for a language with object-oriented features such as polymorphic ...

Pragmatic subtyping in polymorphic languages

Nordlander, Johan

January 1999

We present a subtyping extension to the Hindley/Milner type system that is based on name inequivalen...

A tutorial on recursive types in Coq

Gimenez, Eduardo
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 COQSIGLEAvailable from INIST (FR), Document Su...

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

Subtyping with union types, intersection types and recursive types II

Damm, Flemming
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 (France). Unite de Recherche de Rennes

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet LandeSIGLEAvailable at INIS...

Type inference with simple subtypes

John C. Mitchell

January 1991

Subtyping appears in a variety of programming languages, in the form of the "automatic coercion...

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

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

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

Using modes to ensure subject reduction for typed logic programs with subtyping

Smaus, Jan-Georg
Fages, Francois
Deransart, Pierre
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 contrainteSIGLEAvailable from INIST (FR), Doc...

Subtyping constrained types

Valery Trifonov
Scott Smith

January 1996

Abstract. A constrained type is a type that comes with a set of subtyping constraints on variables o...

Specialization patterns

Schultz, Ulrik Pagh
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

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

Subtyping Constrained Types

Valery Trifonov
Scott Smith

January 1996

Constrained type systems are a natural generalization of Hindley/Milner type inference to languages ...

Type inference with subtypes

Fuh, You-Chin
Mishra, Prateek

June 1990

AbstractWe extend polymorphic type inference with a very general notion of subtype based on the conc...

Elementary Type Inference (Artifact)

Zhao, Jinxu
Oliveira, Bruno C. d. S.

January 2022

This artifact contains the Appendix of the paper, proofs of theorems declared in the paper, and a sa...

Type Inference for the Mixture of Matching and Implicit Subtyping

Koji Kagawa

January 1996

We present a type inference system for a language with object-oriented features such as polymorphic ...

Pragmatic subtyping in polymorphic languages

Nordlander, Johan

January 1999

We present a subtyping extension to the Hindley/Milner type system that is based on name inequivalen...

A tutorial on recursive types in Coq

Gimenez, Eduardo
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 COQSIGLEAvailable from INIST (FR), Document Su...

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items