Sciweavers

120
Voted
LISP
2000
96views more  LISP 2000»
15 years 15 days ago
Continuations: A Mathematical Semantics for Handling Full Jumps
This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.
Christopher Strachey, Christopher P. Wadsworth
131
Voted
LISP
2000
408views more  LISP 2000»
15 years 15 days ago
Fundamental Concepts in Programming Languages
This paper forms the substance of a course of lectures given at the International Summer School in Computer Programming at Copenhagen in August, 1967. The lectures were originally ...
Christopher Strachey
85
Voted
LISP
2000
77views more  LISP 2000»
15 years 15 days ago
Glossary for Partial Evaluation and Related Topics
Most areas of research or work use their own set of words and phrases and gives specific technical meaning to terms that in everyday speech may mean something less specific or some...
Torben Æ. Mogensen
78
Voted
LISP
2000
78views more  LISP 2000»
15 years 15 days ago
From Macrogeneration to Syntactic Abstraction
R. Kent Dybvig