First Page | Document Content | |
---|---|---|
Date: 2007-06-05 12:29:33Type 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,1Add to Reading ListSource URL: www.tautschnig.netDownload Document from Source WebsiteFile Size: 157,05 KBShare Document on Facebook |