From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6B7EED171 for ; Mon, 25 Jul 2005 14:21:29 +0200 (CEST) Received: from [128.93.8.130] (macadam.inria.fr [128.93.8.130]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6PCLTQX029014 for ; Mon, 25 Jul 2005 14:21:29 +0200 Mime-Version: 1.0 (Apple Message framework v733) In-Reply-To: <42E3AADA.8030907@cs.utah.edu> References: <9cc3782b05071411004b27b6a4@mail.gmail.com> <42DB6161.4030507@cs.utah.edu> <42DD5F41.8060801@cs.utah.edu> <42E3AADA.8030907@cs.utah.edu> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <913C9D85-AC2F-4C02-B5D2-E1C77BCD0050@inria.fr> Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] Some Clarifications Date: Mon, 25 Jul 2005 14:21:27 +0200 To: caml-list X-Mailer: Apple Mail (2.733) X-Miltered: at concorde with ID 42E4D949.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; damien:01 damien:01 caml-list:01 morelli:01 algebra:01 high-level:01 compilation:01 low-level:01 2005,:98 wrote:01 doligez:01 doligez:01 jul:05 inria:05 formal:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 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