Environment classifiers

DOI10.1145/604131.604134zbMATH Open1321.68175OpenAlexW2296536988MaRDI QIDQ2942909FDOQ2942909

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

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

zbMATH Keywords

modal logictype systemslinear temporal logictype safetymulti-stage programming

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Types and programing languages
• Title not available (Why is that?)
• Regular expression pattern matching for XML
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (16)

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

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)