Environment classifiers

DOI10.1145/604131.604134MaRDI QIDQ2942909zbMATH OpenOpenAlexFDO

Authors 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

linear temporal logicmodal logicmulti-stage programmingtype safetytype systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Programming Languages and Systems
• A Logical Foundation for Environment Classifiers
• A Logical Foundation for Environment Classifiers
• On Cross-Stage Persistence in Multi-Stage Programming
• MetaML and multi-stage programming with explicit annotations

Cites work

• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• scientific article; zbMATH DE number 1942450 (Why is no real title available?)
• scientific article; zbMATH DE number 1948151 (Why is no real title available?)
• scientific article; zbMATH DE number 1953123 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• Regular expression pattern matching for XML
• Types and programing languages

Cited in

(16)

• Types as graphs: Continuations in type logical grammar
• Type-specialized staged programming with process separation
• Implicitly heterogeneous multi-stage programming
• Refined environment classifiers. Type- and scope-safe code generation with mutable cells
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
• Programming Languages and Systems
• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Reasoning about multi-stage programs
• A Logical Foundation for Environment Classifiers
• A Logical Foundation for Environment Classifiers
• Contextual modal type theory with polymorphic contexts
• A dependently typed multi-stage calculus
• Ill-founded proof systems for intuitionistic linear-time temporal logic
• \textsc{Mnemonics}: type-safe bytecode generation at run time
• Constructive linear-time temporal logic: proof systems and Kripke semantics

Describes a project that uses

Uses Software

• TREX

This page was built for publication: Environment classifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942909)