This is the artifact for the pearl paper "On Julia\u27s efficient algorithm for subtyping union types and covariant tuples.
This artifact contains the mechanical formalization of the calculi associated with the paper Union T...
Subtyping is a concept frequently encountered in many programming languages and calculi. Various for...
AbstractThe statementS⩽Tin aλ-calculus with subtyping is traditionally interpreted by a semantic coe...
The Julia programming language supports multiple dispatch and provides a rich type annotation langua...
International audienceThe Julia programming language supports multiple dispatch and provides a rich ...
OOPSLA, Article 113International audienceProgramming languages that support multiple dispatch rely o...
This is the folder of artifact for the paper Applicative Intersection Types, all lemmas and properti...
This is the folder of artifact for the paper Applicative Intersection Types, all lemmas and properti...
This is the folder of artifact for the paper Applicative Intersection Types, all lemmas and properti...
This is the folder of artifact for the paper Applicative Intersection Types, all lemmas and properti...
This artifact contains the Coq formalization associated with the paper The Duality of Subtyping subm...
Part 3: Logic, Semantics, and Programming TheoryInternational audienceUsing Curry-Howard isomorphism...
International audienceSubtyping is a common tool in the design of type systems that finds itsroots i...
AbstractThis paper studies the complexity of type inference in λ-calculus with subtyping. Infering t...
This thesis describes techniques for efficiently performing polymorphic type inference for function...
This artifact contains the mechanical formalization of the calculi associated with the paper Union T...
Subtyping is a concept frequently encountered in many programming languages and calculi. Various for...
AbstractThe statementS⩽Tin aλ-calculus with subtyping is traditionally interpreted by a semantic coe...
The Julia programming language supports multiple dispatch and provides a rich type annotation langua...
International audienceThe Julia programming language supports multiple dispatch and provides a rich ...
OOPSLA, Article 113International audienceProgramming languages that support multiple dispatch rely o...
This is the folder of artifact for the paper Applicative Intersection Types, all lemmas and properti...
This is the folder of artifact for the paper Applicative Intersection Types, all lemmas and properti...
This is the folder of artifact for the paper Applicative Intersection Types, all lemmas and properti...
This is the folder of artifact for the paper Applicative Intersection Types, all lemmas and properti...
This artifact contains the Coq formalization associated with the paper The Duality of Subtyping subm...
Part 3: Logic, Semantics, and Programming TheoryInternational audienceUsing Curry-Howard isomorphism...
International audienceSubtyping is a common tool in the design of type systems that finds itsroots i...
AbstractThis paper studies the complexity of type inference in λ-calculus with subtyping. Infering t...
This thesis describes techniques for efficiently performing polymorphic type inference for function...
This artifact contains the mechanical formalization of the calculi associated with the paper Union T...
Subtyping is a concept frequently encountered in many programming languages and calculi. Various for...
AbstractThe statementS⩽Tin aλ-calculus with subtyping is traditionally interpreted by a semantic coe...
DOI
Add to ORKG