A dependently typed multi-stage calculus

DOI10.1007/978-3-030-34175-6_4zbMATH Open1542.68021MaRDI QIDQ6536307FDOQ6536307

Authors: Akira Kawata, Atsushi Igarashi 

Publication date: 19 April 2024

Recommendations

• On Cross-Stage Persistence in Multi-Stage Programming
• MetaML and multi-stage programming with explicit annotations
• Tagless staged interpreters for typed languages
• Reasoning about multi-stage programs
• Staged computation with staged lexical scope

zbMATH Keywords

dependent typescross-stage persistencemulti-stage programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Cites Work

• A theory of type polymorphism in programming
• A framework for defining logics
• Title not available (Why is that?)
• A modal analysis of staged computation
• Types and programing languages
• The calculus of constructions
• MetaML and multi-stage programming with explicit annotations
• Environment classifiers
• Tagless staged interpreters for typed languages
• Guarded recursive datatype constructors
• A polymorphic modal type system for Lisp-like multi-staged languages
• Staged computation with names and necessity
• A Logical Foundation for Environment Classifiers
• Meta-programming through typeful code representation
• A type system for certified binaries
• Program logics for homogeneous generative run-time meta-programming
• On Cross-Stage Persistence in Multi-Stage Programming

This page was built for publication: A dependently typed multi-stage calculus

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