pluralia / types-inhab Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

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

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README.md		README.md
inhab.hs		inhab.hs
inhabE.hs		inhabE.hs
inhabEBunder.hs		inhabEBunder.hs
inhabEmpty.hs		inhabEmpty.hs

Repository files navigation

Inhabitation problem for types-intersection

About

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

haskell types intersection-types

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 100.0%