Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language.

Bohdan Liesnikov, Jesper Cockx

Browse the full APLAS paper archive.