GitHub topics: intersection-types
juniorxxue/applicative-intersection
Applicative Intersection Types
Language: Coq - Size: 64.6 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
deividas-butkus/typescript-assessment-ca
TypeScript assessment, focusing on type safety, interfaces, and modular design to demonstrate understanding of TypeScript fundamentals.
Language: TypeScript - Size: 44.9 KB - Last synced at: 16 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
AndrasE/TypeScript-tutorial 📦
TypeScript basics
Language: TypeScript - Size: 5.84 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
sColin16/set-typed-lambda-calculus
A typed lambda calculus with a set-theoretic type system, that serves as the theoretical basis for other languages with set-theoretic type systems
Language: OCaml - Size: 195 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
sColin16/structured-lambda
A structurally-typed lambda calculus that serves as a basis for structurally-typed functional languages
Language: OCaml - Size: 237 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
buschtoens/combine-type-predicates
Combine user-defined type guards / type predicates as unions and intersections.
Language: TypeScript - Size: 83 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1
toko18/LinearRankIntersectionTypes-MastersThesis
Practical work developed in the context of my Master's Thesis at DCC-FCUP (Faculdade de Ciências da Universidade do Porto) in 2022
Language: Haskell - Size: 26.4 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
pluralia/types-inhab
Implementation of the algorithm proposed in M.W. Bunder's paper "The Inhabitation Problem for Intersection Types".
Language: Haskell - Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 1
jack-williams/contracts-ts
Higher-order Contracts for Intersection and Union Types
Language: TypeScript - Size: 85.9 KB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0
pedroangelo/gradual-intersection-types
A gradually typed language with intersection types
Language: Haskell - Size: 2.46 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
mtumilowicz/java11-intersection-type
Simple example of intersection types.
Language: Java - Size: 60.5 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
