SubtypedQuotedML is an interpreter for an ML-like language that has
- support for runtime program generation via quote/unquote (i.e. bracket/escape) syntax.
- static typing with inference, let-polymorphism and subtyping.
You can learn more about SubtypedQuotedML from it's home page at http://srl.ozyegin.edu.tr/projects/subtypedQuotedML/ .
Default Make rule compiles SubtypedQuotedML. To compile and run, just run: make run.
Dependencies are OCaml 4.00, Make, sed.