• Publications
  • Influence
The next 700 programming languages
TLDR
A family of unimplemented computing languages is described that is intended to span differences of application area by a unified framework. Expand
  • 670
  • 31
  • PDF
Correspondence between ALGOL 60 and Church's Lambda-notation
TLDR
This paper describes how some of the semantics of ALGOL 60 can be formalized by establishing a correspondence between expressions of AL GOL 60 and expressions in a modified form of Church's n-notation. Expand
  • 367
  • 5
  • PDF
A Generalization of Jumps and Labels
TLDR
This paper provides constructive answers to three questions about the logical structure of programming languages. Expand
  • 57
  • 3
  • PDF
Calculations
TLDR
This paper describes a new approach, called calculations, that seeks to characterize the concept of what a program does without being prescriptive about how the desired behaviour is achieved. Expand
  • 9
  • 1
My Years with Strachey
  • 9
Getting rid of labels
TLDR
In most programming languages the user encounters situations in which he decides whether to write labels and jumps, or to use some other, less explicit way of indicating the sequence of computing steps. Expand
  • 5
Rod Burstall: A Personal Note
TLDR
It was during the later 60’s that Rod and I were at our closest. Expand
Effekterna av samgåenden på den svenska aktiemarknaden 1987-1999.
I denna uppsats undersoks svenska sammgaenden och i fall dessa leder till avvikelseavkastning. Den studerade tidsperioden ar ett ar och studien inkluderar fem fusioner.