/region_based_mini_ml

The implementation of region inference for meta language.

Primary LanguageOCamlMIT LicenseMIT

Region based mini ML

The implementation of region inference for meta language.

Required

This version is the same as mine.

  • OCaml (>= 4.03.0)
  • utop (>= 1.19.3)

Usage

$ git clone https://github.com/s4ichi/region_based_meta_language.git
$ cd region_based_meta_language
$ make all
$ ./region_ml

References

  • “Region-Based Memory Management” Mads Tofte, Jean-Pierre Talpin.
  • “A region inference algorithm” Mads Tofte, Lars Birkedal.

LICENSE

MIT