#

non-idempotent-intersection-types

Here is 1 public repository matching this topic...

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

lambda-calculus type-inference intersection-types non-idempotent-intersection-types tight-typings

Updated Jul 27, 2022
Haskell

Improve this page

Add a description, image, and links to the non-idempotent-intersection-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the non-idempotent-intersection-types topic, visit your repo's landing page and select "manage topics."