2025

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2025

Thursday October 16, 2025, Singapore, co-located with ICFP/SPLASH 2025

For information about this iteration of the workshop, see here: https://conf.researchr.org/home/icfp-splash-2025/mlsymposium-2025#About