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