[plt-scheme] Recursive types and their specification

> From: Noel Welsh <noelwelsh at yahoo.com>
> Date: Tue, 9 Aug 2005 08:44:52 -0700 (PDT)
> 
> --- Matthew Flatt <mflatt at cs.utah.edu> wrote:
> 
> > Yes. As your subject line says, the problem is a
> > equi-recursive function type
> > 
> >   mu x . () -> (action * x)
> > 
> > which is not in the type system.
> > 
> 

That looks interesting.  Can someone parse that for me or send links?

Mike