Fortifying macros

DOI10.1017/S0956796812000275zbMath1252.68064OpenAlexW2912956128MaRDI QIDQ3165523

Ryan Culpepper

Publication date: 29 October 2012

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796812000275

zbMATH Keywords

robustnesschoice between clarity of specification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Cites Work

• Revised6 Report on the Algorithmic Language Scheme
• DrScheme: a programming environment for Scheme
• Correspondence between ALGOL 60 and Church's Lambda-notation

This page was built for publication: Fortifying macros