Skip to search formSkip to main contentSkip to account menu
Revised5 Report on the Algorithmic Language Scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis…
View on ACM
Aspect-Oriented Programming is Quantification and Obliviousness
This paper proposes that the distinguishing characteristic of Aspect-Oriented Programming (AOP) systems is that they allow programming by making quantified programmatic assertions over programs…
Revised4 report on the algorithmic language scheme
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis…
View on ACM
Essentials of programming languages
TLDR
This text focuses on the principles of the design and implementation of programming languages and the language SCHEME, a dialect of LISP, is used to demonstrate abstraction and representation.
View via Publisher
Control operators, the SECD-machine, and the λ-calculus
Hygienic macro expansion
TLDR
A change to the expansion algorithm is proposed so that macros will only violate the binding discipline when it is explicitly intended.
View on ACM
A Syntactic Theory of Sequential Control
View via Publisher
Reification: Reflection without metaphysics
We consider how the data structures of an interpreter may be made available to the program it is running, and how the program may alter its interpreter's structures. We refer to these processes as…
View on ACM
Revised 5 Report on the Algorithmic Language
Relational programming in minikanren: techniques, applications, and implementations
TLDR
This dissertation presents miniKanren, a family of languages specifically designed for relational programming, and which supports a variety of relational idioms and techniques, making it feasible and useful to write interesting programs as relations.
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License