Back to Results
First PageMeta Content
Type theory / Theoretical computer science / Data types / Mathematical logic / Programming language theory / Logic in computer science / Object-oriented programming / Polymorphism / Subtyping / Type system / Unification / Model theory


Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1
Add to Reading List

Document Date: 2007-06-05 12:29:33


Open Document

File Size: 157,05 KB

Share Result on Facebook