The following pages link to Environment classifiers (Q2942909):
Displayed 11 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- \textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Implicitly heterogeneous multi-stage programming (Q2478589) (← links)
- Refined Environment Classifiers (Q3179298) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
- A Logical Foundation for Environment Classifiers (Q5902143) (← links)