Looking for : subtyping

Subtyping: conceptual and logical issues	Download	View	HTML
Subtype.pdf - Search subtyping: conceptual logical issues

Subtyping and Polymorphism in Object-Role Modelling	Download	View	HTML
Subpoly.pdf - Search subtyping polymorphism object-role modelling

A behavioral notion of subtyping	Download	View	HTML
Liskovwing94.pdf - Search behavioral notion subtyping

Integrating Nominal and Structural Subtyping	Download	View	HTML
Ecoop08.pdf - Search integrating nominal structural subtyping

A Gentle Introduction to Semantic Subtyping	Download	View	HTML
Icalp-ppdp05.pdf - Search gentle introduction semantic subtyping

Behavioral Contracts and Behavioral Subtyping	Download	View	HTML
Fse01-flf.pdf - Search behavioral contracts behavioral subtyping

Subtyping for Aggregate Structures	Download	View	HTML
Lectxx-subtyping.pdf - Search subtyping aggregate structures

Semantic Subtyping	Download	View	HTML
Lri02.pdf - Search semantic subtyping

SUBTYPING `A LA CHURCH In Honor of Henk Barendregt on the Occasion ...	Download	View	HTML
Subtyping_a_la_church.pdf - Search subtyping church honor henk barendregt occasion

Subtyping Union Types	Download	View	HTML
Subtyping.pdf - Search subtyping union types