Two Talks Accepted to Scala Workshop and HATRA
The following talks have been accepted to ICFP/SPLASH 2025 co-located events.
- Youyou Cong. “Towards an Educational Fragment of Scala”
The 2025 Scala Workshop. - Youyou Cong. “Types as a Specification Language for Creativity”
HATRA 2025.