Dependently Typed Programming Based on Automated Theorem Proving.

Alasdair Armstrong, Simon Foster, Georg Struth

Browse the full MPC paper archive.