Type-level programming with match types.

Olivier Blanvillain Jonathan Immanuel Brachthäuser Maxime Kjaer Martin Odersky

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

Keyphrases

multiple types
levels of abstraction
special features
artificial intelligence
three dimensional
high level
higher level
database
data sets
programming environment