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

Jan de Muijnck-Hughes Edwin C. Brady Wim Vanderbauwhede

Published in: ECOOP (2020)

Keyphrases

higher order
information systems
main contribution
theoretical framework
neural network
case study
natural language
description logics
lightweight
bayesian framework
representation language