Towards a theory of type structure
The work
| Authors | John C. Reynolds |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1974 |
| Citekey | reynolds1974towards |
Where it appeared
| Published in | Programming Symposium |
|---|---|
| Publisher | Springer |
| Series | Lecture Notes in Computer Science |
| Number in series | 19 |
| Volume | 19 |
| Pages | 408--425 |
Identifiers
| DOI | 10.1007/3-540-06859-7_148 |
|---|
Empty on purpose
| abstract |
Related
| Distinct from | liskov1974programming |
|---|---|
| Distinct from | pierce2002types |
| Distinct from | wadler2015propositions |
A copy is held
pdf, 572.4 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-09 00:00 UTC |
| Approved by | a person 2026-08-24 07:29 UTC |
Cite it as
@inproceedings{reynolds1974towards,
title = {Towards a theory of type structure},
author = {John C. Reynolds},
year = {1974},
booktitle = {Programming Symposium},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {19},
pages = {408--425},
doi = {10.1007/3-540-06859-7_148},
}
This record lives at https://refs.drheap.org/reynolds1974towards/ and will keep doing so.