DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Intersection type
Intersection type
First Class Overloading Via Insersection Type Parameters⋆
Disjoint Polymorphism
Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and -Rule Extended Abstract
Rank 2 Type Systems and Recursive De Nitions
A Facet-Oriented Modelling
Approximations, Fibrations and Intersection Type Systems
Deconfined Intersection Types in Java
Declared Type Vs Object Type
Typing the Numeric Tower
Object-Oriented Dynamic GIS for Transportation Planning Reginald
Disjoint Intersection Types: Theory and Practice
The Grace Programming Language Draft Specification Version 0.5. 2025" (2015)
Dependent Intersection: a New Way of Defining Records in Type Theory ∗
Pure Subtype Systems: a Type Theory for Extensible Software
Intersection Types in Java: Back to the Future
Elaborating Intersection and Union Types
Type Systems for Programming Languages Contents
Row and Bounded Polymorphism Via Disjoint Polymorphism Ningning Xie the University of Hong Kong, Hong Kong, China
[email protected]
Bruno C
Top View
Automatic Synthesis of Component & Connector-Software Architectures
Approximation Theorems for Intersection Type Systems
The Duality of Classical Intersection and Union Types
Continuous Flow Intersection, J-Turn 19
Typing Classes and Mixins with Intersection Types
Row and Bounded Polymorphism Via Disjoint Polymorphism Ningning Xie the University of Hong Kong, Hong Kong, China
[email protected]
Bruno C
Row and Bounded Polymorphism Via Disjoint Polymorphism Ningning Xie the University of Hong Kong, China
[email protected]
Bruno C
The Java® Language Specification Java SE 13 Edition
Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
A Tale of Intersection Types
Declare a Variable As Two Types C
Type Assignment for Intersections and Unions in Call-By-Value Languages
The Intersection Type Unification Problem
The Algebraic Intersection Type Unification Problem 11
Resolution As Intersection Subtyping Via Modus Ponens
Innovative Intersections: Overview and Implementation Guidelines
Intersection Subtyping with Constructors
Binary Analysis Integration Through Datalog
Higher-Order Subtyping with Intersection Types
Dynamic Inference of Static Types for Ruby
On Declarative Rewriting for Sound and Complete Union, Intersection and Negation Types
Intersection Types and Computational Effects ∗
Liquid Intersection Types
ICFP: G: Type Inference for Disjoint Intersection Types
Principality and Type Inference for Intersection Types Using Expansion Variables
Intersection Type Assignment Systems
Resolving of Intersection Types in Java
Dependent Intersection: a New Way of Defining Records in Type Theory ∗
Fan: Compile-Time Metaprogramming for Ocaml
Sistema De Tipificación 1 Sistema De Tipificación
Annotations for Intersection Typechecking
Complete Restrictions of the Intersection Type Discipline
Intersection Type Assignment Systems Introduction
Metamodeling Semantics of Multiple Inheritance
Grace Draft Specification
Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations
Intersection Types in Java
Mixins in Strongtalk
Polymorphic Functions with Set-Theoretic Types. Part 1
Union and Intersection Contracts Are Hard, Actually