Pages that link to "Item:Q4764618"

The following pages link to A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618):

Displaying 21 items.

• Semantic types and approximation for Featherweight Java (Q387991) (← links)
• Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
• Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types (Q761792) (← links)
• Matching for the lambda calculus of objects (Q1275623) (← links)
• A meta-language for typed object-oriented languages (Q1350339) (← links)
• Termination of system \(F\)-bounded: A complete proof (Q1383151) (← links)
• An operational approach to the semantics of classes: Application to type checking (Q1403217) (← links)
• Type-based hot swapping of running modules (Q1772100) (← links)
• An abstract, reusable, and extensible programming language design architecture (Q1799296) (← links)
• Basic theory of \(F\)-bounded quantification. (Q1854309) (← links)
• Comparing object encodings. (Q1854318) (← links)
• Privacy via subsumption (Q1854493) (← links)
• Type-safe covariant specialization with generalized matching (Q1854554) (← links)
• Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
• Matching MyType to subtyping (Q2442957) (← links)
• (Q4301602) (← links)
• Formal reasoning about modules, reuse and their correctness (Q4632313) (← links)
• An imperative object calculus (Q5096750) (← links)
• Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
• An operational semantics for TOOPLE: A statically-typed object-oriented programming language (Q5890071) (← links)
• A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)