[plt-scheme] Recursive types and their specification

From: Jacob Matthews (jacobm at cs.uchicago.edu)
Date: Tue Aug 9 21:01:34 EDT 2005

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



Posted on the users mailing list.