LISP 2000 | Sciweavers

81

LISP
2000

96views more LISP 2000»

Continuations: A Mathematical Semantics for Handling Full Jumps

14 years 7 months ago

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

claim paper

Read More »

85

click to vote

LISP
2000

408views more LISP 2000»

Fundamental Concepts in Programming Languages

14 years 7 months ago

Download www.itu.dk

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

claim paper

Read More »

45

click to vote

LISP
2000

77views more LISP 2000»

Glossary for Partial Evaluation and Related Topics

14 years 7 months ago

Download www.brics.dk

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

claim paper

Read More »

50

click to vote

LISP
2000

78views more LISP 2000»

From Macrogeneration to Syntactic Abstraction

14 years 7 months ago