[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-math] What is the "+/" operator?

From: Gabriel Dos Reis
Subject: Re: [Axiom-math] What is the "+/" operator?
Date: Wed, 23 May 2007 21:03:19 -0500 (CDT)

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


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]