Initial Algebra Semantics and Continuous Algebras
- J.A. Goguen
- J.W. Thatcher
- et al.
- 1977
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
23 results for Eric G. Wagner
From algebras to programming languages
- Eric G. Wagner
- 1973
- STOC 1973
An algebraic theory of recursive definitions and recursive languages
- Eric G. Wagner
- 1971
- POPL 1971
FUNCTORIAL HIERARCHIES OF FUNCTIONAL LANGUAGES.
- E.G. Wagner
- 1982
- IFIP Working Conference on the Formal Description of Programming Concepts 1982
Data type specification: Parameterization and the power of specification techniques
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1978
- STOC 1978
Rational algebraic theories and fixed-point solutions
- J.B. Wright
- J.W. Thatcher
- et al.
- 1976
- FOCS 1976
"tapeless" bounded action machines
- Eric G. Wagner
- 1968
- SWAT 1968
On the structure of programming languages, or, six languages for turing machines
- Eric G. Wagner
- 1967
- SWAT 1967
On connecting modules together uniformly to form a modular computer
- Eric G. Wagner
- 1965
- SWCT 1965
Data Type Specification: Parameterization and the Power of Specification Techniques
- J.W. Thatcher
- E.G. Wagner
- et al.
- 1982
- ACM Transactions on Programming Languages and Systems (TOPLAS)