@inproceedings{2025_hazel_of_ocaml,
  author = {Patrick Ferris and Anil Madhavapeddy}, booktitle = {proceedings of the 2025 Workshop on Type-Driven Development (TyDe)}, month={oct}, title={Generating a corpus of Hazel programs from ill-typed OCaml programs}, year={2025}}