GitHub - ahovgaard/twelf-records: Formalization of a simple functional language with records and subtyping in Twelf. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
records-sub.elf		records-sub.elf
sources.cfg		sources.cfg
tests.elf		tests.elf

About

Formalization of a simple functional language with records and subtyping in Twelf.

types formalization twelf

Report repository

Releases

No releases published

Packages

Contributors