Peter Sestoft
Peter Sestoft
On 6Nov16 10:23, "Shad Storhaug" wrote: Seems reasonable to expect a "Set" to implement System.Collections.Generic.ISet, especially since the TreeSet in Java does just that. Is there any particular reason why...
Hej Jonas Er du interesseret i at bidrage direkte til vedligehold af C5? De seneste år er det helt overvejende Rasmus Lystrøm (som formentlig auto-cc’s på denne mail) som har...
Hej Jonas, On 25 Aug 2023, at 12.03, Jonas Nyrup ***@***.***> wrote: Så har jeg fået afklaring og jeg vil gerne hjælpe til med vedligeholdelsen af C5. Super. Nu har...
On 3 May 2020, at 00.22, David Thrane Christiansen wrote: Don't require large algorithmic changes in the type checker. Right now, the generalization machinery uses the notion of binding levels...
Thanks Michael! Moscow ML is not being much maintained these years, with me being department head at the IT University of Copenhagen for 8 years, and Ken being deputy department...
Thanks for this great work. I am rusty on Github and on the technical details, and @kfl is now department head and probably way too busy to look into it....