Searching for "Type inference for record concatenation and subtyping." – sorted by Relevance.
-
Type Inference for Record Concatenation and Subtyping
- Type Inference for Record Concatenation and Subtyping Jens Palsberg Purdue University ∗ September
- Cited by 4 (0 self) – Add To MetaCart

