The Coq mailing list

[Peter LeFanu Lumsdaine <p.l.lumsdaine AT gmail.com>]

I and some colleagues are trying to track down a copy of Eduardo
Giménez’ 1994 ENS-Lyon tech report “Codifying guarded definitions with
recursive schemes,” Laboratoire de l’Informatique du Parallélisme.  If
anyone has access to this and could help us, we’d be very grateful!

(A shorter version of this paper, 21pp, appears under the same title
in LNCS 996; unfortunately, it omits the main parts of what we’re
looking for (an account of the reduction of “co-fixpoints with guards”
to a co-iterator), referring to the tech report for the details.)

Many thanks,
–Peter.