( en | de | ru )

 

Disambiguation of "Hong, Jaemin"

Author of the publication

copydeleteadd this publication to your clipboard
Path dependent types with path-equality.

, , and . SCALA@ICFP, page 35-39. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xin Hong

Kang-hun Hong

Jung-soo Hong

Moon-Shin Hong

Youn-Ho Hong

 

Other publications of authors with the same name

Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs., and . ICSE, page 716-728. IEEE, (2023)Semantic Transformation Framework for Rewriting Rules., , and . PEPM@POPL, page 1-13. ACM, (2023)Analysis of Indoor Positioning Based on BLE., , , and . ACIIDS (Extended Posters), volume 710 of Studies in Computational Intelligence, page 421-430. Springer, (2017)Improving Automatic C-to-Rust Translation with Static Analysis.. ICSE Companion, page 273-277. IEEE, (2023)Allocation Four Neighbor Exclusive Channels to Polyhedron Clusters in Sensor Networks., , and . BDTA, volume 194 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 29-39. Springer, (2016)Comparison of Indoor Positioning System Using Wi-Fi and UWB., , and . ACIIDS (1), volume 10751 of Lecture Notes in Computer Science, page 623-632. Springer, (2018)Improving Indoor Positioning Performance in an Emergency Deployment System., , and . BDTA, volume 248 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 49-59. Springer, (2017)Path dependent types with path-equality., , and . SCALA@ICFP, page 35-39. ACM, (2018)Multi-cell Based UWB Indoor Positioning System., , , and . ACIIDS (2), volume 11432 of Lecture Notes in Computer Science, page 543-554. Springer, (2019)A 12-bit 8GS/s RF Sampling DAC with Code-Dependent Nonlinearity Compensation and Intersegmental Current-Mismatch Calibration in 5nm FinFET., , , , , , , , , and 1 other author(s). VLSI Technology and Circuits, page 86-87. IEEE, (2022)