François Pottier  Home/Search
Context Related
| pauillac.inria.fr/...tieric2000.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pauillac.inria.fr/~fpot...pottier (more) Homepages: F.Pottier |
Rate this article:      (best)Comment on this article |
Abstract: This paper offers a theoretical study of constraint simplification, a fundamental issue for the designer of a practical type inference system with subtyping. In the simpler case where constraints are equations, a simple isomorphism between constrained type schemes and finite state automata yields a complete constraint simplification method. Using it as a guide for the intuition, we move on to the case of subtyping, and describe several simplification algorithms. Although no longer complete,... (Update)
Cited by: More
Variance and Generalized Constraints for C# Generics - Emir, Kennedy, Russo, Yu (2006) (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
Compaction Algorithm for Precise Modular.. - Kim, Nystrom, Barnes.. (Correct)
Active bibliography (related documents): More All
0.6: A Framework for Type Inference with Subtyping - Pottier (1998) (Correct)
0.6: A 3-Part Type Inference Engine - Pottier (2000) (Correct)
0.5: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Polymorphic Typed Defunctionalization - Pottier, Gauthier (2004) (Correct)
0.3: Numbering Matters: First-Order Canonical Forms for.. - Gauthier, Pottier (2004) (Correct)
0.2: Information Flow Inference for ML - Pottier, Simonet (2002) (Correct)
Related documents from co-citation: More All
19: Subtyping constrained types - Trifonov, Smith - 1996
12: Satisfying Subtype Inequalities in Polynomial Space - Frey - 1997
10: Subtype inequalities (context) - Tiuryn - 1992
BibTeX entry: (Update)
Francois Pottier. Simplifying subtyping constraints: a theory. Submitted for publication, December 1998. URL: http://pauillac.inria.fr/ ~fpottier/publis/fpottier-journal-98.ps.gz. http://citeseer.ist.psu.edu/pottier00simplifying.html More
@article{ pottier01simplifying,
author = "F. Pottier",
title = "Simplifying Subtyping Constraints: {A} Theory",
journal = "INFCTRL: Information and Computation (formerly Information and Control)",
volume = "170",
year = "2001",
url = "citeseer.ist.psu.edu/pottier00simplifying.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
314 Type inference with constrained types (context) - Odersky, Sulzmann et al. - 1999
214 An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1986
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
129 ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
111 Solving systems of set constraints (context) - Aiken, Wimmers - 1992
82 Coercion and type inference (context) - Mitchell - 1984
76 Type inference for recursively constrained types and its app.. - Eifrig, Smith et al. - 1995
68 Subtyping constrained types - Trifonov, Smith - 1996
67 Componential set-based analysis - Flanagan, Felleisen - 1997
55 A simple algorithm and proof for type inference (context) - Wand - 1987
32 A toolkit for constructing type- and constraint-based progra.. - Aiken, ahndrich et al. - 1998
31 Sound polymorphic type inference for objects (context) - Eifrig, Smith et al. - 1995
30 Extending ML type system with a sorted equational theory (context) - emy - 1992
28 Making set-constraint based program analyses scale (context) - Aiken, ahndrich - 1996
27 Solving equations in abstract algebras: a rule-based survey .. (context) - Jouannaud, Kirchner - 1990
24 equations dans des langages d'ordre (context) - erard, esolution - 1976
18 Optimal representations of polymorphic types with subtyping - Aiken, Wimmers et al. - 1996
18 A type system equivalent to ow analysis (context) - Palsberg, O'Keefe - 1995
17 A framework for type inference with subtyping - cois - 1998
16 Fundamental properties of innite trees (context) - Courcelle - 1983
13 Interconvertibility of a class of set constraints and contex.. - Melski, Reps - 2000
13 Constraint automata and the complexity of recursive subtype .. - Henglein, Rehof - 1998
12 barrier: Faster object type inference (context) - Henglein, the - 1997
11 algorithm for minimizing states in a nite automaton (context) - Hopcroft, log - 1971
11 Polymorphic subtype inference: Closing the theory-practice g.. (context) - Fuh, Mishra - 1989
9 ective Static Debugging via Componential Set-Based Analysis (context) - Flanagan - 1997
9 Modular and polymorphic set-based analysis: Theory and pract.. - Flanagan, Felleisen - 1996
9 Type inference with subtypes (context) - Fuh, Mishra - 1988
9 Simplifying subtyping constraints (context) - cois - 1996
9 Type checking higher-order polymorphic multi-methods - cois, Stephan - 1997
7 Ecient inference of object types (context) - Palsberg - 1995
7 Milner style type systems in constraint form (context) - Sulzmann, uller et al. - 1999
7 class-based object-oriented programming (context) - cois, Stephan et al. - 1996
7 Bane: A Library for Scalable Constraint-Based Program Analys.. (context) - ahndrich - 1999
6 Partial online cycle elimination in inclusion constraint gra.. - ahndrich, rey et al. - 1998
6 Wallace: an ecient implementation of type inference with sub.. (context) - cois - 2000
6 Type inference in the presence of subtyping: from theory to .. (context) - cois - 1998
5 part type inference engine - cois - 2000
3 Ecient recursive subtyping (context) - Kozen, Palsberg et al. - 1993
1 A theory of primitive objects | second-order systems (context) - Abadi, Cardelli - 1994
1 Characterizing subtype entailment in automata theory (context) - Niehren, Priesnitz - 1999
1 URL: http://http (context) - Aiken, system - 1994
1 ese de types en presence de sous-typage: de la theorie a .. (context) - cois, Synth - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://pauillac.inria.fr/~fpottier/biblio/pottier.html): More
Information Flow Inference For Free - Pottier, Conchon (2000) (Correct)
A 3-Part Type Inference Engine - Pottier (2000) (Correct)
An Implementation Of Caml-Light With Existential Types - Mauny, Pottier (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC