Login / Signup
Sums of products for mutually recursive datatypes: the appropriationist's view on generic programming.
Victor Cacciari Miraldo
Alejandro Serrano
Published in:
TyDe@ICFP (2018)
Keyphrases
</>
data types
programming language
database systems
data model
abstract data types
database management systems
data structure
domain specific
user defined
high level
random variables
programming environment
similarity measure
nearest neighbor
metadata
databases
computer programs
development environment
database