Hyunik Na

According to our database, Hyunik Na authored at least 4 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

A New Formalization of Subtyping to Match Subclasses to Subtypes.

Hyunik Na, Sukyoung Ryu

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

ThisJava: An Extension of Java with Exact Types.

Hyunik Na, Sukyoung Ryu

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Exact type parameterization and ThisType support.

Hyunik Na, Sukyoung Ryu, Kwangmoo Choe

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

2009

Access pattern based stream buffer management scheme for portable media players.

Heejin Ahn, Seongjin Cho, Hyunik Na, Hwansoo Han

IEEE Trans. Consumer Electron., 2009