The Coq mailing list

[Bruno Barras <bruno.barras AT inria.fr>]

On 07/01/2011 03:32 PM, Peter LeFanu Lumsdaine wrote:
> 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.

The LIP website gives this link:

ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR1995/RR1995-07.ps.Z

Bruno.