Publications of Jaemin Hong

International Conferences

Polymorphic Symmetric Multiple Dispatch with Variance

Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., and Sukyoung Ryu

Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2019

Path Dependent Types with Path-Equality

Jaemin Hong, Jihyeok Park, and Sukyoung Ryu

Proceedings of the 9th ACM SIGPLAN Symposium on Scala, September 2018

Domestic Conferences

System Fπ: System F⟨: with Pattern-Based Refined Types

Jaemin Hong and Sukyoung Ryu

KIISE Korea Software Congress (KSC) 2018, December 2018

Formalization of Path Dependent Types with Path-Equality

Jaemin Hong and Sukyoung Ryu

KIISE Korea Computer Congress (KCC) 2018, June 2018

Formalization of the Static Semantics of Object-Oriented Languages with Variance via Type Context

Jaemin Hong and Sukyoung Ryu

KIISE Korea Software Congress (KSC) 2017, December 2017

Domestic Journals

Symmetric Multiple Dispatch for Expressive Object-Oriented Languages

Jaemin Hong and Sukyoung Ryu

Communications of the Korean Institute of Information Scientists and Engineers, 37(3), 13-19, March 2019