Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-08-16 Thread Aaron Gray
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

Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-07-15 Thread Aaron Gray
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

Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-06-24 Thread Mark Sheldon
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

Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-06-24 Thread Aaron Gray
> 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

Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-06-24 Thread Aaron Gray
-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.

Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-06-22 Thread Roberto Di Cosmo
: > [ 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

Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-06-19 Thread Giuseppe Castagna
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

Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-06-18 Thread Frank Pfenning
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

Re: [TYPES] subtyping of mutually recursive algebraic data types

2022-06-18 Thread Mark Sheldon
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

[TYPES] subtyping of mutually recursive algebraic data types

2022-06-17 Thread Aaron Gray
[ 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