Solomon Maina

Replication Package for Artifact

Benjamin C. Pierce, Steve Zdancewic, David Walker, 2019, Artifact Digital Object Group.

Synthesizing quotient lenses

David Walker, Benjamin C. Pierce, Steve Zdancewic, 2018, Proc. ACM Program. Lang..