Back to Results
First PageMeta Content
Data types / Theoretical computer science / Formal languages / Computing / Object-oriented programming / Obliq / Subtype polymorphism / Type system / Concatenation / Mathematics / Software engineering / Type theory


Type Inference for Record Concatenation and Subtyping Jens Palsberg
Add to Reading List

Document Date: 2003-11-05 23:20:33

Open Document

File Size: 258,79 KB

Share Result on Facebook
UPDATE