Modes, values and expressions

Authors:
Marvin Solomon
Affiliations:
Cornell University
Venue:
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Year:
1975

Tree-Manipulating Systems and Church-Rosser Theorems

Journal of the ACM (JACM)
Types are not sets

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Recursively defined data types: part 1

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automata, Languages, and Machines

Automata, Languages, and Machines
Automata on Infinite Objects and Church's Problem

Automata on Infinite Objects and Church's Problem
On infinite modes

ALGOL Bulletin
The Equivalence of Modes and the Equivalence of Finite Automata

ALGOL Bulletin
Formal languages and their relation to automata

Formal languages and their relation to automata

Type definitions with parameters

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Hi-index	0.00