Bidirectional Hazel to OCaml programming
Bidirectional Hazel to OCaml programming This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Max Carroll. It is co-supervised with Patrick Ferris and Cyrus Omar. Hazel is a pure subset of OCaml with a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs.
Publication Details
- Journal
- Front Matter
- Published
- 2025-04-01
- DOI
- https://doi.org/10.59350/sfgs0-xnm70
- Primary Topic
- Moravian Church and William Blake
- Type
- article
- Field-Weighted Citation Impact
- 0.00