DeLaM: A Dependent Layered Modal Type Theory for Meta-programming.

Jason Z. S. Hu Brigitte Pientka

Published in: CoRR (2024)

Keyphrases

theoretical framework
modal logic
databases
learning algorithm
decision making
theoretical basis
meta level
development environment
general theory
database
information systems
programming language
decision theory