プログラミング研究室

陳がICFP 2025 SRCにて第3位を受賞

陳智騏の研究 “Towards Programming with Effect Handlers and Typed Holes” が ICFP 2025 Student Research Competition にて第3位を受賞しました。