ICFP/SPLASH 2025 (series) / TyDe 2025 (series) / TyDe 2025 /
Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract)
This program is tentative and subject to change.
Sun 12 Oct 2025 15:00 - 15:30 at Seminar Room 2 - Session 2
When developing a new programming language, having a large corpus of both correct and incorrect programs allows language designers to test and explore the capabilities of their new language. However, bootstrapping such a corpus of incorrect programs is time consuming and arduous. We therefore explore how to reuse code from more mature languages to generate a corpus of ill-typed code for newer ones. We have developed a compiler to Hazel, an emerging language with typed holes, from the more mature OCaml ecosystem. We find it practical to generate a comprehensive corpus of ill-typed programs for Hazel development, and discuss future larger scale efforts towards bridging ecosystems.
This program is tentative and subject to change.
Sun 12 OctDisplayed time zone: Perth change
Sun 12 Oct
Displayed time zone: Perth change
14:00 - 15:30 | |||
14:00 30mTalk | Gradual Metaprogramming TyDe Tianyu Chen Indiana University, Darshal Shetty Indiana University, Jeremy G. Siek Indiana University, USA, Chao-Hong Chen Indiana University, Weixi Ma Meta, Arnaud Venet Meta, Rocky Liu Meta Link to publication DOI Pre-print | ||
14:30 30mTalk | Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search TyDe Satoshi Takimoto Institute of Science Tokyo, Sosuke Moriguchi Institute of Science Tokyo, Takuo Watanabe Institute of Science Tokyo DOI | ||
15:00 30mTalk | Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract) TyDe |