andreasabel / type-preserving-cps Public

forked from YouyouCong/type-preserving-cps

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

Type-preserving CPS translation for simply- and dependently-typed lambda calculi

2 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
twelf		twelf
README.md		README.md
dtlc.agda		dtlc.agda
stlc.agda		stlc.agda

Repository files navigation

type-preserving-cps

Type-preserving CPS translation for simply- and dependently-typed lambda calculi (presented at PPL 2017)

About

Type-preserving CPS translation for simply- and dependently-typed lambda calculi

Report repository

Releases

No releases published

Packages

No packages published

Languages

Agda 100.0%