Re: What is the "+/" operator?

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