Bidirectional Hazel to OCaml programming
Year: 2025
Type: other
Abstract: 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.
DOI: 10.59350/sfgs0-xnm70
Author: Anil Madhavapeddy
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W7090177376
Cites:
Cited by:
Related to: