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

bixuanzju / first-class-trait Public archive

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

Type system for first-class traits

3 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
examples		examples
haskell		haskell
impl		impl
.gitignore		.gitignore
README.md		README.md
README.pdf		README.pdf
appendix.pdf		appendix.pdf

Repository files navigation

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

About

Type system for first-class traits

Report repository

Releases

No releases published

Packages

No packages published

Languages