Revised 5 Report on the Algorithmic Language Scheme

By R. Elsey, And W ILLIAM C LINGER, J. O. R. E. H. A. Belson, R. K. D. Ybvig, C. T. H. Aynes, G. J. R. Ozas, N. I. A. Dams, IV D. P. F Riedman, E. K. Ohlbecker, H. G.L.STEELEJRD. and 8 more

Subfields: Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Program Analysis & Verification

Citations in the corpus

Polyglot: An Extensible Compiler Framework for Java (2003, background): “True quasiquoting, as found in languages such as Scheme [21], would detect syntax errors when the extension compiler is itself compiled.”
Gradual Typing for Functional Languages (2006, methodology): “We use the term gradual typing for type systems that provide this capability.”
Revised6 Report on the Algorithmic Language Scheme (2009, background): “Further revision took place in the spring of 1986 [4] (edited by Jonathan Rees and Will Clinger), and in the spring of 1988 [5] (also edited by Will Clinger and Jonathan Rees).”
Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator (2008, methodology): “Standard Scheme syntax is expanded using the macros from Kelsey et al. [1998].”
Verification and change-impact analysis of access-control policies (2005, methodology): “Margrave lets users manipulate mtbdd s as data structures in Scheme [19].”