GitHub repository: juniorxxue/applicative-intersection-semantics
Primary language: Racket
Description: PLT Redex model for applicative intersection types