Registered user since Fri 24 Aug 2018
Name:Jaemin Hong
Country:South Korea
Affiliation:KAIST, South Korea
Research interests:Type Systems
Contributions
ICFP 2020-profile
View general profile
View general profile
- Attending
- Program
- Tracks
- Workshops
- Erlang
- FARM
- FHPNC (cancelled)
- HIW
- HOPE
- ML
- OCaml
- PLMW @ ICFP
- Scheme
- TyDe
- miniKanren
- Co-hosted Symposia
- Haskell
- Organization
- ICFP 2020 Committees
- Organizing Committee
- Steering Committee
- Virtualization Committee
- Track Committees
- ICFP Program
- Tutorials
- Student Research Competition
- Artifact Evaluation
- Student Volunteering
- Mentoring
- Contributors
- People Index
- Search
- Series