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

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

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
DOIs
Publication statusPublished - 2020

Cite this