Logical relations, data abstraction, and structured fibrations
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.
|Item Type||Book Sections|
|Creators||Power, J.and Robinson, E.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)