DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Bounded quantification
Bounded quantification
Design and Implementation of Generics for the .NET Common Language Runtime
Orthogonal to the Java Imperative?
Bounded Quantification for Gradual Typing
Aggregate Programming in Scala: a Core Library and Actor-Based Platform for Distributed Computational Fields
Using Kinds to Type Partially-Polymorphic Methods
Inheritance, Generics and Binary Methods in Java Herencia, Genéricos Y Métodos Binarios En Java
Row and Bounded Polymorphism Via Disjoint Polymorphism Ningning Xie the University of Hong Kong, Hong Kong, China
[email protected]
Bruno C
CSCE 314 Programming Languages Java Generics I
F-Bounded Polymorphism for Object-Oriented Programming
Programming Language Evolution
A Path to DOT: Formalizing Fully Path-Dependent Types
Row and Bounded Polymorphism Via Disjoint Polymorphism Ningning Xie the University of Hong Kong, Hong Kong, China
[email protected]
Bruno C
Type Inference with Bounded Quantification
Chapter 11 Conclusion
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
On Decidability of Nominal Subtyping with Variance
Subtyping and Parametricity
Decidable Subtyping for Path Dependent Types
Top View
Foundations of Object-Oriented Languages∗ Workshop Report
Chapter 4 Polymorphic Inheritance
The 2006 Federated Logic Conference LFMTP'06 Logical
Syntactically Restricting Bounded Polymorphism for Decidable Subtyping
Record Types in Scala: Design and Evaluation
Types and Programming Languages the Next Generation
Extensibility for the Masses Practical Extensibility with Object Algebras
Scalable Component Abstractions
A Module System for Mechanized Mathematics Systems Mei - a Module System for Mechanized Mathematics Systems
Subtypes Vs. Where Clauses: Constraining Parametric Polymorphism
Redalyc.Inheritance, Generics and Binary Methods in Java
An Overview of the Scala Programming Language
ISOLATE: a Type System for Self-Recursion (Extended Version)