A Framework for Resource Dependent EDSLs in a Dependently-Typed Language

Jan de Muijnck-Hughes
, Wim Vanderbauwhede
, Edwin Charles Brady

School of Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	English
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2020.20
Publication status	Published - 2020

Access to Document

10.4230/LIPIcs.ECOOP.2020.20Licence: CC BY

Handle.net

Persistent link

Cite this