Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL.

Larry Diehl Tim Sheard

Published in: WGP@ICFP (2014)

Keyphrases

high level
theoretical framework
neural network
description logics
theoretical foundation
expert systems
software engineering
higher order
internal and external
database
data sets
clustering algorithm
case study
database systems
data structure
fixed order