Practical work developed in the context of my Master's Thesis at DCC-FCUP (Faculdade de Ciências da Universidade do Porto) in 2022
-
Updated
Jul 27, 2022 - Haskell
Practical work developed in the context of my Master's Thesis at DCC-FCUP (Faculdade de Ciências da Universidade do Porto) in 2022
Implementation of the algorithm proposed in M.W. Bunder's paper "The Inhabitation Problem for Intersection Types".
A gradually typed language with intersection types
Add a description, image, and links to the intersection-types topic page so that developers can more easily learn about it.
To associate your repository with the intersection-types topic, visit your repo's landing page and select "manage topics."