From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA28130; Thu, 15 Nov 2001 09:26:01 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA28923 for ; Thu, 15 Nov 2001 09:26:00 +0100 (MET) Received: from palrel13.hp.com (palrel13.hp.com [156.153.255.238]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fAF8PxH05940 for ; Thu, 15 Nov 2001 09:25:59 +0100 (MET) Received: from postbox.india.hp.com (postbox.india.hp.com [15.10.45.1]) by palrel13.hp.com (Postfix) with ESMTP id BEA911F601 for ; Thu, 15 Nov 2001 00:25:22 -0800 (PST) Received: from localhost (koshy@localhost [127.0.0.1]) by postbox.india.hp.com (8.9.3 (PHNE_18546)/8.9.3 SMKit7.02) with SMTP id OAA06439 for ; Thu, 15 Nov 2001 14:03:53 +0530 (IST) Message-Id: <200111150833.OAA06439@postbox.india.hp.com> X-Authentication-Warning: postbox.india.hp.com: koshy@localhost [127.0.0.1] didn't use HELO protocol To: caml-list@inria.fr Subject: [Caml-list] [Summary] embedded caml? In-reply-to: Your message of "Tue, 13 Nov 2001 21:26:18 IST." <20011113212618.A24821@pauillac.inria.fr> Date: Thu, 15 Nov 2001 14:03:50 +0530 From: A Joseph Koshy Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>> "Xavier Leroy" writes A short summary of the information I received on my question, and some stuff I found out after asking the question (for the archives and for the curious). o Squeezing the CAML runtime Gerd Stolpmann's repackaging of the CAML runtime can bring the core interpreter down to 20KB or so, with the needed modules being dynamically linked in: [ http://www.ocaml-programming.de/packages/ocamlre ] o A proposed variant of ML that tracks memory usage using programmer supplied annotations Recursion and dynamic data-structures in bounded space: towards embedded ML programming John Hughes, Lars Pareto ICFP 1999 o The MLKit [ http://www.it-c.dk/research/mlkit/ ] supports SML'97 with the compiler inferring memory allocation patterns. Thanks to all who responded to my question. Regards, Koshy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr