Environment classifiers

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

zbMATH Keywords

modal logiclinear temporal logictype systemstype safetymulti-stage programming

Mathematics Subject Classification ID

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

• TREX

Cites Work

• Regular expression pattern matching for XML
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Environment classifiers