Pages that link to "Item:Q5348928"
From MaRDI portal
The following pages link to A polymorphic modal type system for lisp-like multi-staged languages (Q5348928):
Displayed 6 items.
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Directly reflective meta-programming (Q848742) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Refined Environment Classifiers (Q3179298) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
- A Logical Foundation for Environment Classifiers (Q5902143) (← links)