On Thu, Aug 7, 2008 at 12:10 PM, David Casperson wrote: > Hi Bill, > > you may want to look at the work of the Charity group at the U of C. >
Thanks! I haven't looked at the Charity project for a while: http://pll.cpsc.ucalgary.ca/charity1/www/home.html but "Latest News" and "Download ..." suggests that there has not been much development since 2000. Is that accurate? Is there work continuing on this elsewhere? > Charity is a seriously category theoretical language that is explicitly > aware of co-objects. It is formally weaker than most programming > languages in that any compiling program terminates. > In the context of co-algebra is seems a little strange to consider only programs that terminate. > It may be that a sub-language based on Charity like ideas is the correct > language in which to formulate a calculus of types for a language with > first class types like Aldor. That is a very interesting idea. Regards, Bill Page. ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
