Type Inference for Record Concatenation and Subtyping Jens Palsberg - Subtyping - Document - PDFSEARCH.IO

First Page	Meta Content
	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 / 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 Data types Theoretical computer science Formal languages Computing Object-oriented programming Obliq Subtype polymorphism Type system Concatenation Mathematics

Type Inference for Record Concatenation and Subtyping Jens PalsbergAdd to Reading List