Layered Modal Type Theories

05/11/2023
by   Jason Z. S. Hu, et al.
0

We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset