ray wrote:
>
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> I am interested if there is any work on the subtyping of mutually
> recursive algebraic data types. I am wanting an algorithm for purposes
> of implementing an object oriented programming
193__;!!IBzWLUs!QrMnoLw8qFRxtzf2zu5w8Gc14aO6rhn_cCBMv4Q0dczTVPBFrRikSVu7fiARjhLIovnBm3oBBgYJ2dYwMw8Y7mY$
> > >
> > > There we show that a natural formulation of the problem in the presence of
> > > polymorphism
> > > is undecidable, but also give an algori
2002. Chapter 12.
>>
>>
>> I hope this is useful!
>>
>> -Mark
>>
>> Mark A. Sheldon
>> Associate Teaching Professor
>> Department of Computer Science
>> Tufts University
>>
>> On 17Jun, 2022, at 03:40, Aaron Gray wro
> On 17Jun, 2022, at 03:40, Aaron Gray wrote:
>
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> I am interested if there is any work on the subtyping of mutually
> recursive algebraic data types. I am wanting an algorithm for purposes
> of im
-Mark
> >>
> >> Mark A. Sheldon
> >> Associate Teaching Professor
> >> Department of Computer Science
> >> Tufts University
> >>
> >> On 17Jun, 2022, at 03:40, Aaron Gray wrote:
> >>
> >> [ The Types Forum, http://lists.
:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list
> ]
>
> I am interested if there is any work on the subtyping of mutually
> recursive algebraic data types. I am wanting an algorithm for purposes
> of implementing an object oriented programming language with A
on the subtyping of mutually
recursive algebraic data types. I am wanting an algorithm for purposes
of implementing an object oriented programming language with ADT's
which lower onto a virtual class implementation which can support
mutually recursive behavior, but need the typ checking and inference
AM Aaron Gray
wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list
> ]
>
> I am interested if there is any work on the subtyping of mutually
> recursive algebraic data types. I am wanting an algorithm for purposes
> of implementing an object or
enn.edu/mailman/listinfo/types-list ]
>
> I am interested if there is any work on the subtyping of mutually
> recursive algebraic data types. I am wanting an algorithm for purposes
> of implementing an object oriented programming language with ADT's
> which lower onto a virtual
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
I am interested if there is any work on the subtyping of mutually
recursive algebraic data types. I am wanting an algorithm for purposes
of implementing an object oriented programming language with ADT's
which lower onto
10 matches
Mail list logo