[plt-scheme] Recursive types and their specification
On Aug 9, 2005, at 7:55 PM, Michael Vanier 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?
Benjamin C. Pierce's _Types and Programming Languages_ has a section
(4, I think) all about recursive types, and it's certainly a good
place to start looking.
-jacob