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
- Last Name(descending)

Edwin Charles Brady
- ecb10st-andrews.acuk
- School of Computer Science - Reader
- Centre for Interdisciplinary Research in Computational Algebra
Person: Academic