A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl).

Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede

Browse the full ECOOP paper archive.