![Data types / Theoretical computer science / Formal languages / Computing / Object-oriented programming / Obliq / Subtype polymorphism / Type system / Concatenation / Mathematics / Software engineering / Type theory Data types / Theoretical computer science / Formal languages / Computing / Object-oriented programming / Obliq / Subtype polymorphism / Type system / Concatenation / Mathematics / Software engineering / Type theory](https://www.pdfsearch.io/img/61faeaa9a5992a406f0577fc28c77d01.jpg)
| Document Date: 2003-11-05 23:20:33 Open Document File Size: 258,79 KBShare Result on Facebook
/ Facility Purdue University / / IndustryTerm concatenation operator / expressive type systems / type inference algorithm / type inference algorithms / Type systems / type-inference algorithms / / Organization Purdue University / / Person Jens Palsberg / Wand / / / Position Harper / / ProgrammingLanguage C++ / Smalltalk / / ProvinceOrState Indiana / / Technology cloning / type inference algorithm / type-inference algorithms / /
SocialTag |