A Language with Type-Dependent Equality.

Published in: CICM (2021)

Keyphrases

database query languages
type checking
strongly typed
language learning
databases
database systems
database programming language
database
real time
data mining
artificial intelligence
website
general purpose
programming language
context dependent
operational semantics