On Wed, 23 May 2007, Bill Page wrote: | I'll trade you another one (which it turns out actually references | Meijer, et al. :-) | | "Fast and loose reasoning is morally correct" | by Nils Anders Danielsson, John Hughes, Patrik Jansson and | Jeremy Gibbons | | http://doi.acm.org/10.1145/1111037.1111056
Thanks! Actually, I already that one simply because I also had a paper POPL'06 on C++ concepts -- which is on how to design a type system that effectively supports algebraic and generic programmming, which is somehow related to the paper you cited above. -- Gaby _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
