Logical relations, data abstraction, and structured fibrations
Reference:
Power, J. and Robinson, E., 2000. Logical relations, data abstraction, and structured fibrations. In: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00. New York: ACM, pp. 15-23.
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://dx.doi.org/10.1145/351268.351271
Details
| Item Type | Book Sections |
| Creators | Power, J.and Robinson, E. |
| DOI | 10.1145/351268.351271 |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 26485 |
Export
Actions (login required)
| View Item |
