论文信息 - Type Inference and Simplification for Recursively Constrained Types - 字舞流文

Type Inference and Simplification for Recursively Constrained Types

Franois Pottier | F. Pottier

[1] Prateek Mishra,et al. Polymorphic Subtype Inference: Closing the Theory-Practice Gap , 1989, TAPSOFT, Vol.2.

[2] Scott F. Smith,et al. Type inference for recursively constrained types and its application to OOP , 1995, MFPS.

[3] Luca Cardelli,et al. A Semantics of Multiple Inheritance , 1984, Information and Computation.

[4] John C. Mitchell,et al. Coercion and type inference , 1984, POPL.

[5] Alexander Aiken,et al. Type inclusion constraints and type inference , 1993, FPCA '93.

[6] Luca Cardelli,et al. Subtyping recursive types , 1991, POPL '91.

[7] Prateek Mishra,et al. Type Inference with Subtypes , 1990, Theor. Comput. Sci..