The following pages link to Environment classifiers (Q2942909):
Displaying 4 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)
