Hyeonseung Im

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automated grading of regular expressions	2023-11-24	Paper
Efficient enumeration of regular expressions for faster regular expression synthesis	2022-03-22	Paper
Backward type inference for XML queries Theoretical Computer Science	2020-05-23	Paper
Optimizing skyline queries over incomplete data Information Sciences	2019-12-13	Paper
A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches Programming Languages and Systems	2016-04-26	Paper
Functional Netlists Proceedings of the 13th ACM SIGPLAN international conference on Functional programming	2015-03-16	Paper
Contractive signatures with recursive types, type parameters, and abstract types Automata, Languages, and Programming	2013-08-07	Paper
Group skyline computation Information Sciences	2012-10-02	Paper
A modal logic internalizing normal proofs Information and Computation	2012-03-13	Paper
A calculus for hardware description Journal of Functional Programming	2011-07-25	Paper
Type-safe higher-order channels with channel locality Journal of Functional Programming	2009-01-08	Paper

Research outcomes over time

This page was built for person: Hyeonseung Im