Sound type-dependent syntactic language extension

DOI10.1145/2837614.2837644MaRDI QIDQ2828257zbMATH OpenOpenAlexFDO

Authors Florian Lorenzen, Sebastian Erdweg

Publication date 24 October 2016

Published in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL http://resolver.tudelft.nl/uuid:237464e9-dbd0-4fa6-a5a9-c2fff227c54d

zbMATH Keywords

automatic verificationlanguage extensibilitymacrosmetaprogrammingtype soundnesstype-dependent desugaring

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Modular and automated type-soundness verification for language extensions
• Static analysis for syntax objects
• Hygienic resugaring of compositional desugaring
• Typed syntactic meta-programming
• Extensible programming with first-class cases

Cited in

(3)

• A lazy desugaring system for evaluating programs with sugars
• Hygienic resugaring of compositional desugaring
• Romeo: a system for more flexible binding-safe programming

This page was built for publication: Sound type-dependent syntactic language extension

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