researchr - search publication Hygienic Macro

researchr

You are not signed in
Sign in
Sign up

16 publication results matching 'Hygienic Macro'

A Theory of Hygienic Macros
… Hygienic macro systems, such as Scheme’s, automatically rename variables …. According to folklore, the definition of hygienic macro expansion hinges … for programs with macros depends on the results of macro expansion! We break …
David Herman, Mitchell Wand. ESOP 2008: 48-62 [doi]
A Theory of Hygienic Macros
… We present the λm-calculus, a semantics for a language of hygienic macros with a non-trivial theory. Unlike Scheme, where programs must be macro-expanded … to programmers. Our contributions include a semantics of hygienic macro expansion …
David Herman. PhD thesis, Northeastern University, Boston, Massachusetts, May 2010.
Hygienic Macro ExpansionEugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba. lfp 1986: 151-161 [doi]
Hygienic macro expansionKohlbecker, Eugene, Friedman, Daniel P., Matthias Felleisen, Duba, Bruce. In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming. 1986: [doi]
Hygienic macro technologyWilliam D. Clinger, Mitchell Wand. PACMPL, 4(HOPL), 2020. [doi]
Hygienic Macros for JavaScriptTim Disney. PhD thesis, University of California, Santa Cruz, USA, 2015. [doi]
Debugging hygienic macrosRyan Culpepper, Matthias Felleisen. SCP, 75(7):496-515, 2010. [doi]
Hygienic Macros for ACL2Carl Eastlund, Matthias Felleisen. sfp 2011: 84-101 [doi]
Fully-parameterized, first-class modules with hygienic macrosJosef Martin Gasbichler. PhD thesis, Eberhard Karls University of Tübingen, 2006. [doi]
Sweeten your JavaScript: hygienic macros for ES5Tim Disney, Nathan Faubion, David Herman, Cormac Flanagan. DLS 2014: 35-44 [doi]
Composable and hygienic typed syntax macrosCyrus Omar, Chenglong Wang, Jonathan Aldrich. SAC 2015: 1986-1991 [doi]
Hygienic Macro System for JavaScript and Its Light-weight Implementation FrameworkKen Wakita, Kanako Homizu, Akira Sasaki. lfp 2014: 12 [doi]
Beyond Notations: Hygienic Macro Expansion for Theorem Proving LanguagesSebastian Ullrich, Leonardo de Moura. cade 2020: 167-182 [doi]
Beyond Notations: Hygienic Macro Expansion for Theorem Proving LanguagesSebastian Ullrich 0002, Leonardo de Moura. lmcs, 18(2), 2022. [doi]
An implementation of a hygienic syntactic macro system for JavaScript: a preliminary reportHiroshi Arai, Ken Wakita. s3 2010: 30-40 [doi]
hygiene-versus-gensym [doi]

Sign in or sign up to see more results.

runs on WebDSL