| Original language | English |
|---|---|
| DOIs | |
| Publication status | Published - 2020 |
A Framework for Resource Dependent EDSLs in a Dependently-Typed Language
Jan de Muijnck-Hughes, Wim Vanderbauwhede, Edwin Charles Brady
Research output: Contribution to conference › Paper › peer-review