Elaborator reflection: extending Idris in Idris

David Christiansen, Edwin Charles Brady

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished
Type-Driven Verification of Communic: Type-driven verification of communicating systems
Brady, E. C. (PI)
EPSRC
1/05/16 → 30/04/17
Project: Standard