Logical relations, data abstraction, and structured fibrations

John Power, Edmund Robinson

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
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
Pages15-23
Number of pages9
ISBN (Print)1-58113-265-4
DOIs
Publication statusPublished - 2000

Cite this