C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact).
Jan de Muijnck-Hughes
Edwin C. Brady
Wim Vanderbauwhede
Published in:
Dagstuhl Artifacts Ser. (2020)
Keyphrases
</>
higher order
declarative language
databases
digital libraries
data model
lightweight
language learning
context dependent
genetic algorithm
e learning
image sequences
general purpose
programming language
main contribution
computational model