This repository has been archived by the owner on Feb 3, 2022. It is now read-only.

SEDEL - A Type System for First-Class Traits

impl/ for Haskell implementation of SEDEL
haskell/ for Haskell implementation of the case study
examples/ for the source code of case study, as well as some SEDEL examples
README.pdf for building instructions
appendix.pdf for the appendix of the companion paper