Solomon Maina

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Objective Function

Top Venues

Proc. ACM Program. Lang.

Publications

Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing symmetric lenses. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Symmetric Lenses. CoRR (2018)
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing quotient lenses. Proc. ACM Program. Lang. 2 (ICFP) (2018)