Ugo Dal Lago is qualified to endorse.
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
Ugo Dal Lago: | Is registered as an author of this paper. Can endorse for cs.CC, cs.CR, cs.LO, cs.PL. (why?) |
Francesco Gavazzo and Paul Blain Levy are not registered as owners of this paper. (why?)