Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] embedded caml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: A Joseph Koshy <koshy@i...>
Subject: [Caml-list] [Summary] embedded caml?
>>>> "Xavier Leroy" <xavier.leroy@inria.fr> 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