Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Benjamin C. Pierce

Position Paper: The Science of Deep Specification

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

English

Architectural Support for Software-Defined Metadata Processing

ACM SIGPLAN Notices

Computer Science

English

Synthesizing Symmetric Lenses

Proceedings of the ACM on Programming Languages

English

Fuzzi: A Three-Level Logic for Differential Privacy

Proceedings of the ACM on Programming Languages

English

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service

English

A Bisimulation for Dynamic Sealing

ACM SIGPLAN Notices

English