๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Type inference with non-structural subtyping

โœ Scribed by Jens Palsberg; Mitchell Wand; Patrick O'Keefe

Book ID
105120414
Publisher
Springer
Year
1997
Tongue
English
Weight
805 KB
Volume
9
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Type inference with constrained types
Type inference with constrained types
โœ Odersky, Martin; Sulzmann, Martin; Wehr, Martin ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 219 KB

We present a general framework HM(X) for type systems with constraints. The framework stays in the tradition of the Hindley/Milner type system. Its type system instances are sound under a standard untyped compositional semantics. We can give a generic type inference algorithm for HM(X) so that, unde