28 citations · 28 across the 1 of their papers we have counts for
2 papers
cs.PL2017★ 28 cited
Profunctor Optics: Modular Data Accessors
Matthew Pickering, Jeremy Gibbons, Nicolas Wu
CONTEXT: Data accessors allow one to read and write components of a data structure, such as the fields of a record, the variants of a union, or the elements of a container. These d…
cs.PL2016
From Push/Enter to Eval/Apply by Program Transformation
Maciej Piróg, Jeremy Gibbons
Push/enter and eval/apply are two calling conventions used in implementations of functional languages. In this paper, we explore the following observation: when considering functio…