Effects based scheduling for the OCaml compiler pipeline
Year: 2025
Type: other
Abstract: Effects based scheduling for the OCaml compiler pipeline This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Lucas Ma. It is co-supervised with David Allsopp. In order to compile the OCaml program foo.ml containing: Stdlib.print_endline "Hello, world" the OCaml compilers only require the compiled stdlib.cmi interface to exist in order to determine the type of Stdlib.print_endline.
DOI: 10.59350/cpywg-p5v66
Author: Anil Madhavapeddy
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W7090170830
Cites:
Cited by:
Related to: