Sound type-dependent syntactic language extension

DOI10.1145/2837614.2837644zbMath1347.68088OpenAlexW2296064069MaRDI QIDQ2828257

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 verificationtype soundnessmacrosmetaprogramminglanguage extensibilitytype-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)

Related Items

Romeo: A system for more flexible binding-safe programming