<--- Back to Details
First PageDocument 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
Date: 2007-06-05 12:29:33
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

Source URL: www.tautschnig.net

Download Document from Source Website

File Size: 157,05 KB

Share Document on Facebook

Similar Documents

POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented to the Faculty of the Graduate School

POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented to the Faculty of the Graduate School

DocID: 1uqA0 - View Document

Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

DocID: 1tFQF - View Document

Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of

Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of

DocID: 1tF39 - View Document

Jpn. J. Infect. Dis., 59, 2006  Laboratory and Epidemiology Communications Rapid Subtyping of Influenza A Virus by Loop-Mediated Isothermal Amplification: Two Cases of Influenza Patients Who Returned from Thailand

Jpn. J. Infect. Dis., 59, 2006 Laboratory and Epidemiology Communications Rapid Subtyping of Influenza A Virus by Loop-Mediated Isothermal Amplification: Two Cases of Influenza Patients Who Returned from Thailand

DocID: 1tlLN - View Document

Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact  OPL *

Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL *

DocID: 1t6Ds - View Document