A lazy desugaring system for evaluating programs with sugars

DOI10.1007/978-3-030-99461-7_14MaRDI QIDQ2163178zbMATH OpenOpenAlexFDO

Authors Yushuo Xiao, Zhichao Guan, Zhenjiang Hu, Zi-Yi Yang

Publication date 10 August 2022

Full work available at URL https://doi.org/10.1007/978-3-030-99461-7_14

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Hygienic resugaring of compositional desugaring
• Sound type-dependent syntactic language extension
• An abstract, reusable, and extensible programming language design architecture
• Static analysis for syntax objects
• A rule-based approach to the implementation of evaluation strategies

Cites work

• A new approach to abstract syntax with variable binding
• A Theory of Hygienic Macros
• An overview of the K semantic framework
• DynSem: a DSL for dynamic semantics specification
• Explicit substitutions
• Hygienic resugaring of compositional desugaring
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Semantics engineering with PLT Redex
• Static analysis for syntax objects
• The Mechanical Evaluation of Expressions
• The revised report on the syntactic theories of sequential control and state
• Towards the essence of hygiene

Describes a project that uses

Uses Software

• K tool
• PLT Redex
• LMS
• K Prover

This page was built for publication: A lazy desugaring system for evaluating programs with sugars

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