Sound type-dependent syntactic language extension

From MaRDI portal

Revision as of 18:47, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2828257

Jump to:navigation, search

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 verification type soundness macros metaprogramming language extensibility type-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 (1)

Romeo: A system for more flexible binding-safe programming

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2828257&oldid=15749591"