11 citations · 11 across the 2 of their papers we have counts for
1 paper · 1 filter
Andre Videla, Matteo Capucci
We implement the semantics of server operations using parameterised lenses. They allow us to define endpoints and extend them using classical lens composition. The parameterised na…