11 citations · 24 across the 13 of their papers we have counts for
1 paper · 1 filter
Vincent Wang-Maścianica
A functor is a familiar model of an implementation, where every operation in a specification is assigned a concrete instantiation at the outset. But some tasks are less eager: we o…