DSpace at KOASAS
Browsing DSpace

Browse "School of Computing(전산학부)" by Author Na, Hyunik

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 4 of 4

1
A New Formalization of Subtyping to Match Subclasses to Subtypes

Na, Hyunik; Ryu, Sukyoung, 12th International Symposium on Functional and Logic Programming, ACM SIGPLAN, 2014-06-05

2
Exact Type Parameterization and ThisType Support

Na, Hyunik; Ryu, Sukyoung; Choe, Kwang-Moo, The Seventh ACM SIGPLAN Workshop on Types in Language Design and Implementation, ACM, 2012-01-28

3
Recursive types in object-oriented languages = 객체 지향 언어에서 재귀 타입 지원link

Na, Hyunik; 나현익; Choe, Kwang-Moo; 최광무; et al, 한국과학기술원, 2013

4
ThisJava: An Extension of Java with Exact Types

Na, Hyunik; Ryu, Sukyoung, Asian Symposium on Programming Languages and Systems, Asian Association for Foundation of Software, 2013-12-10

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0