Revised^6 report on the algorithmic language scheme

DOI10.1017/S0956796809990074MaRDI QIDQ3401233zbMATH OpenOpenAlexWikidataFDO

Authors Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robert Bruce Findler, Jacob Matthews

Publication date 29 January 2010

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

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

zbMATH Keywords

Common Lisp's generic arithmeticlambda calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Revised report on the algorithmic language scheme
• Debugging hygienic macros
• scientific article; zbMATH DE number 5654346
• Scheme: A interpreter for extended lambda calculus
• An operational semantics for Scheme

Cites work

• A syntactic approach to type soundness
• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 5654346 (Why is no real title available?)
• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• scientific article; zbMATH DE number 1178950 (Why is no real title available?)
• Revised report on the algorithmic language scheme

Cited in

(8)

• Revised report on the algorithmic language scheme
• Macros that work together
• Fortifying macros
• Small-step and big-step semantics for call-by-need
• scientific article; zbMATH DE number 7310152 (Why is no real title available?)
• Scheme with Classes, Mixins, and Traits
• scientific article; zbMATH DE number 3266167 (Why is no real title available?)
• Asymptotic speedup via effect handlers

Describes a project that uses

Uses Software

• LISP
• Scheme

This page was built for publication: Revised\(^{6}\) report on the algorithmic language scheme

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