Olivier Savary-Bélanger

Graduate student in Computer Science, McGill University

Introduction

Project Description

Together with Brigitte Pientka and Stefan Monnier, I am working on a type-preserving compiler in Beluga, a dependently-typed proof and programming environment with support for higher-order abstract syntax (HOAS). We currently have CPS, closure conversion and hoisting implemented over STLC. A paper describing the implementation has been submitted to CPP 2013. A technical report on the subject will be posted here soon.

References