Idris --- Systems Programming Meets Full Dependent Types

Edwin Brady

School of Computer Science

Research output: Contribution to conference › Paper

Original language	English
DOIs	https://doi.org/10.1145/1929529.1929536
Publication status	Published - 2011

Access to Document

10.1145/1929529.1929536

Handle.net

Persistent link to portal record

Cite this