Research

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
CreatorsPower, J.and Robinson, E.
DOI10.1145/351268.351271
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code26485

Export

Actions (login required)

View Item