Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis.

Jason Z. S. Hu Brigitte Pientka

Published in: ESOP (1) (2024)

Keyphrases

data analysis
theoretical framework
programming language
data sets
artificial intelligence
higher order
theoretical basis