Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2001-11-15 (08:26)
From: A Joseph Koshy <koshy@i...>
Subject: [Caml-list] [Summary] embedded caml?
>>>> "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:

  [ ]

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 [ ] supports SML'97 with the
  compiler inferring memory allocation patterns.

Thanks to all who responded to my question.

Bug reports:  FAQ:
To unsubscribe, mail  Archives: