Code Generation via Meta-programming in Dependently Typed Proof Assistants.

Mathis Bouverot-Dupuis, Yannick Forster

Browse the full ESOP paper archive.