A lazy desugaring system for evaluating programs with sugars

DOI10.1007/978-3-030-99461-7_14OpenAlexW4285279511MaRDI QIDQ2163178

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

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

Uses Software

• K tool
• PLT Redex
• LMS
• K Prover

Cites Work

• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• An overview of the K semantic framework
• The revised report on the syntactic theories of sequential control and state
• Towards the Essence of Hygiene
• Hygienic resugaring of compositional desugaring
• Explicit substitutions
• Macros as multi-stage computations
• A Theory of Hygienic Macros
• Static analysis for syntax objects
• The Mechanical Evaluation of Expressions

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