Pages that link to "Item:Q1583363"

The following pages link to MetaML and multi-stage programming with explicit annotations (Q1583363):

Displaying 26 items.

• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
• Statically safe program generation with SafeGen (Q532402) (← links)
• A type system for reflective program generators (Q532406) (← links)
• Incremental rebinding with name polymorphism (Q737082) (← links)
• Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
• Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
• Classical natural deduction for S4 modal logic (Q1758660) (← links)
• Type-specialized staged programming with process separation (Q1929349) (← links)
• Modality via iterated enrichment (Q2134835) (← links)
• The \textsc{MetaCoq} project (Q2209542) (← links)
• A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
• Implicitly heterogeneous multi-stage programming (Q2478589) (← links)
• Automatically Splitting a Two-Stage Lambda Calculus (Q2802484) (← links)
• Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics (Q2817296) (← links)
• Auto in Agda (Q2941181) (← links)
• Type safe incremental rebinding (Q2971056) (← links)
• Extending the lambda-calculus with unbind and rebind (Q3006163) (← links)
• The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
• (Q4580225) (← links)
• Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages (Q5049000) (← links)
• A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
• (Q5094129) (← links)
• Dependent Types at Work (Q5191088) (← links)
• A Logical Foundation for Environment Classifiers (Q5902143) (← links)
• Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
• A dependently typed multi-stage calculus (Q6536307) (← links)