Revised6 Report on the Algorithmic Language Scheme

DOI10.1017/S0956796809990074zbMath1185.68145OpenAlexW2101225843WikidataQ60620379 ScholiaQ60620379MaRDI QIDQ3401233

R. Kent Dybvig, Anton van Straaten, Michael Sperber, Matthew Flatt, 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

lambda calculusCommon Lisp's generic arithmetic

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (4)

Fortifying macros ⋮ Small-step and big-step semantics for call-by-need ⋮ Macros that Work Together ⋮ Unnamed Item

Uses Software

• LISP
• Scheme

Cites Work

• Revised report on the algorithmic language scheme
• A syntactic approach to type soundness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Revised6 Report on the Algorithmic Language Scheme