BibTeX records: Hyunik Na

• > Home > Persons > Hyunik Na

@inproceedings{DBLP:conf/flops/NaR14,
  author       = {Hyunik Na and
                  Sukyoung Ryu},
  editor       = {Michael Codish and
                  Eijiro Sumii},
  title        = {A New Formalization of Subtyping to Match Subclasses to Subtypes},
  booktitle    = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
                  2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8475},
  pages        = {238--252},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07151-0\_15},
  doi          = {10.1007/978-3-319-07151-0\_15},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/NaR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/NaR13,
  author       = {Hyunik Na and
                  Sukyoung Ryu},
  editor       = {Chung{-}chieh Shan},
  title        = {ThisJava: An Extension of Java with Exact Types},
  booktitle    = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
                  2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8301},
  pages        = {233--240},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03542-0\_17},
  doi          = {10.1007/978-3-319-03542-0\_17},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/NaR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tldi/NaRC12,
  author       = {Hyunik Na and
                  Sukyoung Ryu and
                  Kwangmoo Choe},
  editor       = {Benjamin C. Pierce},
  title        = {Exact type parameterization and ThisType support},
  booktitle    = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages
                  Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday,
                  January 28, 2012},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103786.2103790},
  doi          = {10.1145/2103786.2103790},
  timestamp    = {Thu, 11 May 2023 14:56:29 +0200},
  biburl       = {https://dblp.org/rec/conf/tldi/NaRC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tce/AhnCNH09,
  author       = {Heejin Ahn and
                  Seongjin Cho and
                  Hyunik Na and
                  Hwansoo Han},
  title        = {Access pattern based stream buffer management scheme for portable
                  media players},
  journal      = {{IEEE} Trans. Consumer Electron.},
  volume       = {55},
  number       = {3},
  pages        = {1522--1529},
  year         = {2009},
  url          = {https://doi.org/10.1109/TCE.2009.5278022},
  doi          = {10.1109/TCE.2009.5278022},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tce/AhnCNH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}