Final report link
Final presentation link
Paper Presentation link
Proposal link
An experimental STLC based alternative to languages like MISRA-C or CompCert