Sciweavers

LISP
2000
96views more  LISP 2000»
13 years 11 months 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
LISP
2000
408views more  LISP 2000»
13 years 11 months 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
LISP
2000
77views more  LISP 2000»
13 years 11 months 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