On the expressive power of programming languages

@inproceedings{Felleisen1990OnTE,
  title={On the expressive power of programming languages},
  author={M. Felleisen},
  year={1990}
}
The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a first step in this direction, we develop a formal notion of expressiveness and investigate its properties. To demonstrate the theory's closeness to published intuitions on expressiveness, we analyze the expressive power of several extensions of… Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 75 REFERENCES
A Syntactic Theory of Sequential State
A Theory of Type Polymorphism in Programming
  • R. Milner
  • Computer Science
  • J. Comput. Syst. Sci.
  • 1978
Comparative Schematology
LCF Considered as a Programming Language
A Syntactic Theory of Sequential Control
Fully abstract models of the lazy lambda calculus
  • C. Ong
  • Mathematics, Computer Science
  • [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science
  • 1988
The Revised Report on the Syntactic Theories of Sequential Control and State
The next 700 programming languages
Syntactic extensions in the programming language LISP
Revised3 report on the algorithmic language scheme
...
1
2
3
4
5
...