intersection-types

There are 0 repository under intersection-types topic.

• buschtoens / combine-type-predicates

  Combine user-defined type guards / type predicates as unions and intersections.

  typescripttype-guardtype-predicatestype-guardsunion-typesintersection-types
  Language:TypeScript 7

• jack-williams / contracts-ts

  Higher-order Contracts for Intersection and Union Types

  contractsunion-typesintersection-typestypescript
  Language:TypeScript 5

• pedroangelo / gradual-intersection-types

  A gradually typed language with intersection types

  lambda-calculustype-systemgradual-typingintersection-types
  Language:Haskell 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

  intersection-typeslambda-calculusprogramming-languagestructural-typingtype-systemunion-types
  Language:OCaml 0

• AndrasE / TypeScript-tutorial

  TypeScript basics

  chainingdebuggingenumintersection-typesnarrowingtuplestype-aliasestype-classestypescriptunion-types
  Language:TypeScript

• mtumilowicz / java11-intersection-type

  Simple example of intersection types.

  intersection-typesintersection-type
  Language:Java

• pluralia / types-inhab

  Implementation of the algorithm proposed in M.W. Bunder's paper "The Inhabitation Problem for Intersection Types".

  haskelltypesintersection-types
  Language:Haskell

• 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

  intersection-typeslambda-calculusnon-idempotent-intersection-typestight-typingstype-inference
  Language:Haskell