Browse thread
(Mostly) Functional Design?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2005-07-25 (12:21) |
From: | Damien Doligez <damien.doligez@i...> |
Subject: | Re: [Caml-list] Some Clarifications |
On Jul 24, 2005, at 16:51, Robert Morelli wrote: > Computer algebra is not all of what mathematical software is about, > Then I am still wondering what you are working on, that is so high-level that you can only code it in OO, and makes compilation and formal methods look simple and low-level. -- Damien