On the semantics of the bad-variable constructor in Algol-like languages
Reference:
McCusker, G., 2004. On the semantics of the bad-variable constructor in Algol-like languages. In: Brookes, S. and Panagaden, P., eds. Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX. Vol. 83. Elsevier. (Electronic Notes in Theoretical Computer Science)
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Official URL:
http://www.entcs.org/files/mfps19/83014.pdf
Details
| Item Type | Book Sections |
| Creators | McCusker, G. |
| Editors | Brookes, S.and Panagaden, P. |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 5464 |
Export
Actions (login required)
| View Item |
