Our proposal is to treat meta-variables as modal variables in a modal type theory, which is logically clean and justifies several low-level implemen- tation ...

Our proposal is to treat meta-variables as modal variables in a modal type theory, which is logically clean and justifies several low-level implementation ...

Our proposal is to treat meta-variables as modal variables in a modal type theory, which is logically clean and justifies several low-level implementation ...

We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories.

Our proposal is to treat meta-variables as modal variables in a modal type theory, which is logically clean and justifies several low-level implementation ...

Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning: A modal foundation for meta-variables. MERLIN 2003. manage site settings. To protect your privacy, ...

Lesson 4: Good first step towards a dependently typed foundation for meta-programming! What's next? – How to support pattern matching in MINTS. 26.

Our work is a first step towards building a general type-theoretic foundation for multi-staged metaprogramming which on the one hand enforces strong type ...

Apr 5, 2024 · Layered modal type theory provides a uniform foundation for meta-programming with intensional analysis. We see this work as an important ...

A modal foundation for meta-variables. Publication type: Conference Proceeding. DOI: 10.1145/976571.976582; Publication Year: 2003; Publisher: ACM Press.