Partial type constructors: or, making ad hoc datatypes less ad hoc.

Mark P. Jones J. Garrett Morris Richard A. Eisenberg

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

data types
database
knowledge representation and reasoning
three dimensional
description logics
data management
type checking
real time
data sets
learning algorithm
data structure
artificial neural networks
data model