https://github.com/gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
https://github.com/gfngfn/toy-macro-ml
macro multi-stage-programming ocaml type-checker type-system
Last synced: 7 months ago
JSON representation
An implementation of MacroML [Ganz, Sabry & Taha 2001]
- Host: GitHub
- URL: https://github.com/gfngfn/toy-macro-ml
- Owner: gfngfn
- Created: 2018-11-15T06:32:32.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-12-21T06:41:25.000Z (over 7 years ago)
- Last Synced: 2025-02-01T20:44:57.778Z (over 1 year ago)
- Topics: macro, multi-stage-programming, ocaml, type-checker, type-system
- Language: OCaml
- Homepage:
- Size: 80.1 KB
- Stars: 30
- Watchers: 3
- Forks: 1
- Open Issues: 0