Type Inference for First-Class Messages with Feature Constraints

@inproceedings{Mller1998TypeIF,
  title={Type Inference for First-Class Messages with Feature Constraints},
  author={M. M{\"u}ller and S. Nishimura},
  booktitle={ASIAN},
  year={1998}
}
We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of feature constraints by a selection constraint x[y]z “by first-class feature tree” y, in contrast to the standard selection constraint x[f]y “by fixed feature” f. We investigate the satisfiability problem of OF and show that it can be solved in polynomial time, and even in quadratic time in an important special case. We compare… Expand
7 Citations
A Versatile Constraint-Based Type Inference System
  • F. Pottier
  • Mathematics, Computer Science
  • Nord. J. Comput.
  • 2000
  • 56
  • PDF
Simple Type Inference for Structural Polymorphism
  • 22
  • PDF
A 3-Part Type Inference Engine
  • 21
  • Highly Influenced
  • PDF
Towards Automatic Decoration
  • PDF
Advanced Topics In Types And Programming Languages
  • 294
  • PDF
First-class labels for extensible rows
  • 12

References

SHOWING 1-10 OF 64 REFERENCES
A Feature Constraint System for Logic Programming with Entailment
  • 96
  • Highly Influential
  • PDF
Records for Logic Programming
  • 152
  • Highly Influential
  • PDF
Ordering Constraints over Feature Trees
  • 24
  • PDF
Type Inference for Record Concatenation and Multiple Inheritance
  • M. Wand
  • Computer Science, Mathematics
  • Inf. Comput.
  • 1991
  • 155
A Complete Axiomatization of a Theory with Feature and Arity Constraints
  • R. Backofen
  • Mathematics, Computer Science
  • J. Log. Program.
  • 1995
  • 31
  • PDF
A Complete and Recursive Feature Theory
  • 33
  • PDF
Type inclusion constraints and type inference
  • 326
  • PDF
Type checking higher-order polymorphic multi-methods
  • 70
  • PDF
Unification and ML-Type Reconstruction
  • 73
...
1
2
3
4
5
...