Contextual Modal Type Theory with Polymorphic Contexts.

Yuito Murase Yuichi Nishiwaki Atsushi Igarashi

Published in: ESOP (2023)

Keyphrases

contextual information
type checking
theoretical framework
information theory
information technology
computational model
general theory
contextual knowledge
database
neural network
e learning
mobile devices
hidden markov models
theoretical foundation
probability theory
formal theory