Logical relations, data abstraction, and structured fibrations

John Power, Edmund Robinson

Research output: Chapter or section in a book/report/conference proceedingChapter or section

1 Citation (SciVal)
Original languageEnglish
Title of host publicationProceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Number of pages9
ISBN (Print)1-58113-265-4
Publication statusPublished - 2000

Cite this