Environment classifiers
From MaRDI portal
Publication:2942909
DOI10.1145/604131.604134zbMath1321.68175OpenAlexW2296536988MaRDI QIDQ2942909
Walid Taha, Michael Florentin Nielsen
Publication date: 11 September 2015
Published in: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/604131.604134
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic in computer science (03B70)
Related Items (11)
Refined Environment Classifiers ⋮ Type-specialized staged programming with process separation ⋮ Reasoning about multi-stage programs ⋮ \textsc{Mnemonics}: type-safe bytecode generation at run time ⋮ Implicitly heterogeneous multi-stage programming ⋮ Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code ⋮ Types as graphs: Continuations in type logical grammar ⋮ A Logical Foundation for Environment Classifiers ⋮ A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 ⋮ Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages ⋮ Constructive linear-time temporal logic: proof systems and Kripke semantics
Uses Software
Cites Work
This page was built for publication: Environment classifiers
